Handbook of Model CheckingEdmund M. Clarke

Handbook of Model Checking

Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem · 2018

איפה לקנות

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

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

פרטי הספר

שנה: 2018
שפה: English
הוצאה: Springer International Publishing AG
מהדורות: 3
ISBN: 9783319105741

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

עוד של Edmund M. Clarke

Logic for Programming Artificial Intelligence and Reasoning Lecture Notes in Artificial IntelligenceEdmund M. Clarke

Logic for Programming Artificial Intelligence and Reasoning Lecture Notes in Artificial Intelligence

Edmund M. Clarke · 2011