Verification, Model Checking, and Abstract InterpretationBernhard Steffen
Verification, Model Checking, and Abstract Interpretation
Bernhard Steffen, Giorgio Levi · 2003
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2003
- שפה
- English
- הוצאה
- Springer London, Limited
- מהדורות
- 1
- ISBN
- 9783540246220
מקור הנתונים: Wikidata
עוד של Bernhard Steffen
Correct system designBernhard Steffen
Correct system design
Bernhard Steffen · 1999
Tools and Algorithms for the Construction and Analysis of SystemsBernhard Steffen
Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen · 1998
Bridging the Gap Between AI and RealityBernhard Steffen
Bridging the Gap Between AI and Reality
Bernhard Steffen · 2024
Computing and Software ScienceBernhard Steffen
Computing and Software Science
Bernhard Steffen · 2019
Mathematical Foundations of Advanced Informatics : Volume 1Bernhard Steffen
Mathematical Foundations of Advanced Informatics : Volume 1
Bernhard Steffen · 2018
SOFSEM 2017 : Theory and Practice of Computer ScienceBernhard Steffen
SOFSEM 2017 : Theory and Practice of Computer Science
Bernhard Steffen · 2017
Transactions on Foundations for Mastering Change IBernhard Steffen
Transactions on Foundations for Mastering Change I
Bernhard Steffen · 2016
Grundlagen Der Hheren Informatik Induktives VorgehenBernhard Steffen
Grundlagen Der Hheren Informatik Induktives Vorgehen
Bernhard Steffen · 1900
Karten Von MykenaiBernhard Steffen
Karten Von Mykenai
Bernhard Steffen · 2018
Grundlagen der Höheren InformatikBernhard Steffen
Grundlagen der Höheren Informatik
Bernhard Steffen · 2013