Computer Aided VerificationArmin Biere
Computer Aided Verification
Armin Biere, Roderick Bloem · 2014
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2014
- שפה
- English
- הוצאה
- Springer London, Limited
- מהדורות
- 2
- עמודים
- 877
- ISBN
- 9783319088679
מקור הנתונים: Wikidata
עוד של Armin Biere
Hardware and Software: Verification and TestingArmin Biere
Hardware and Software: Verification and Testing
Armin Biere · 2013
Tools and Algorithms for the Construction and Analysis of SystemsArmin Biere
Tools and Algorithms for the Construction and Analysis of Systems
Armin Biere · 2020
Handbook of Satisfiability Frontiers in Artificial Intelligence and ApplicationsArmin Biere
Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications
Armin Biere · 2009
Theory and applications of satisfiability testing -- SAT 2006Armin Biere
Theory and applications of satisfiability testing -- SAT 2006
Armin Biere · 2006
Handbook of SatisfiabilityArmin Biere
Handbook of Satisfiability
Armin Biere · 2009
Digitaltechnik - eine praxisnahe Einfu hrungArmin Biere
Digitaltechnik - eine praxisnahe Einfu hrung
Armin Biere · 2008