Orna Grumberg

Identifiers

Open LibraryOL3250211A

Top Subjects

Logic Design (1)
General Theory of Computing (1)
Programming - Systems Analysis & Design (1)
Computer Science (1)
Software Engineering (1)
Computers (1)
Computer Books: General (1)

Books by Orna Grumberg

Total count: 6

Computer Aided Verification9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings (Lecture Notes in Computer Science)1 edition

Springer1997-07-11
Model Checking

MIT Press1999-01-01
Tools and Algorithms for the Construction and Analysis of Systems13th International Conference, TACAS 2007 Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

Springer London, Limited2007-01-01
25 Years of Model CheckingHistory, Achievements, Perspectives

Springer London, Limited2008-01-01
Languages : from Formal to NaturalEssays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Springer London, Limited2009-01-01
Model Checking, Second Edition

MIT Press2018-01-01