25 Years Of Model Checking History Achievements PerspectivesOrna Grumberg

25 Years Of Model Checking History Achievements Perspectives

Orna Grumberg · 2008

איפה לקנות

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

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

פרטי הספר

שנה: 2008
שפה: English
הוצאה: Springer
מהדורות: 1
עמודים: 230
ISBN: 9783540698494

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

עוד של Orna Grumberg

Computer Aided VerificationOrna Grumberg

Computer Aided Verification

Orna Grumberg · 1997

Model Checking, Second EditionOrna Grumberg

Model Checking, Second Edition

Orna Grumberg · 2018

Languages From Formal to Natural Lecture Notes in Computer ScienceOrna Grumberg

Languages From Formal to Natural Lecture Notes in Computer Science

Orna Grumberg · 2009

Languages : from Formal to NaturalOrna Grumberg

Languages : from Formal to Natural

Orna Grumberg · 2009

25 Years of Model CheckingOrna Grumberg

25 Years of Model Checking

Orna Grumberg · 2008

Tools and Algorithms for the Construction and Analysis of SystemsOrna Grumberg

Tools and Algorithms for the Construction and Analysis of Systems

Orna Grumberg · 2007