Model Checking, Second EditionOrna Grumberg
Model Checking, Second Edition
Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith · 2018
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2018
- שפה
- English
- הוצאה
- MIT Press
- מהדורות
- 1
- עמודים
- 424
- ISBN
- 9780262349451
מקור הנתונים: Wikidata
עוד של Orna Grumberg
Computer Aided VerificationOrna Grumberg
Computer Aided Verification
Orna Grumberg · 1997
25 Years Of Model Checking History Achievements PerspectivesOrna Grumberg
25 Years Of Model Checking History Achievements Perspectives
Orna Grumberg · 2008
Languages From Formal to Natural Lecture Notes in Computer ScienceOrna Grumberg
Languages From Formal to Natural Lecture Notes in Computer Science
Orna Grumberg · 2009
Languages : from Formal to NaturalOrna Grumberg
Languages : from Formal to Natural
Orna Grumberg · 2009
25 Years of Model CheckingOrna Grumberg
25 Years of Model Checking
Orna Grumberg · 2008
Tools and Algorithms for the Construction and Analysis of SystemsOrna Grumberg
Tools and Algorithms for the Construction and Analysis of Systems
Orna Grumberg · 2007