Principles of model checkingChristel Baier
Principles of model checking
Christel Baier · 2008
איפה לקנות
המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.
לצפייה באמזוןזה קישור שותפים: כשקונים דרכו, האתר מקבל עמלה קטנה בלי תוספת במחיר עבורכם, וזה עוזר לנו להביא תוכן איכותי ולתחזק את האתר. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2008
- שפה
- English
- הוצאה
- The MIT Press
- מהדורות
- 5
- עמודים
- 936
- ISBN
- 9780262026499
מקור הנתונים: Wikidata
עוד של Christel Baier
Validation of stochastic systemsChristel Baier
Validation of stochastic systems
Christel Baier · 2004
Foundations of Software Science and Computation StructuresChristel Baier
Foundations of Software Science and Computation Structures
Christel Baier · 2018
Formal Techniques for Distributed Objects, Components, and SystemsChristel Baier
Formal Techniques for Distributed Objects, Components, and Systems
Christel Baier · 2018
Tools and Algorithms for the Construction and Analysis of SystemsChristel Baier
Tools and Algorithms for the Construction and Analysis of Systems
Christel Baier · 2015
CONCUR 2006 - Concurrency TheoryChristel Baier
CONCUR 2006 - Concurrency Theory
Christel Baier · 2006