booktheque

Theory and Applications of Satisfiability Testing - SAT 2010

Ofer Strichman, Stefan Szeider · 2010

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה
2010
שפה
English
הוצאה
Springer London, Limited
מהדורות
1
עמודים
400
ISBN
9783642141867

מקור הנתונים: Wikidata

עוד של Ofer Strichman

Hardware and Software : Verification and Testing
Ofer Strichman · 2017