booktheque

Languages : from Formal to Natural

Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner · 2009

איפה לקנות

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

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

פרטי הספר

שנה
2009
שפה
English
הוצאה
Springer London, Limited
מהדורות
1
עמודים
245
ISBN
9783642017483

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

עוד של Orna Grumberg

Computer Aided Verification
Orna Grumberg · 1997
25 Years Of Model Checking History Achievements Perspectives
Orna Grumberg · 2008
Model Checking, Second Edition
Orna Grumberg · 2018
Languages From Formal to Natural Lecture Notes in Computer Science
Orna Grumberg · 2009
25 Years of Model Checking
Orna Grumberg · 2008
Tools and Algorithms for the Construction and Analysis of Systems
Orna Grumberg · 2007