Orna Grumberg
Orna Grumberg
7 ספרים במאגר
ספרים
Computer Aided VerificationOrna Grumberg
Computer Aided Verification
Orna Grumberg · 1997
25 Years Of Model Checking History Achievements PerspectivesOrna Grumberg
25 Years Of Model Checking History Achievements Perspectives
Orna Grumberg · 2008
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
ספרים משותפים ואוספים
ספרים שבהם Orna Grumberg מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
