Search
Lexile Level
AR Level
AR Level
Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (2009) 9783642017476 by
Grumberg, Orna -
Springer,
-2009
Dewey: 005.131
N/A
N/A
25 Years of Model Checking: History, Achievements, Perspectives (2008) 9783540698494 by
Grumberg, Orna -
Springer,
-2008
Dewey: 005.14
N/A
Computer Aided Verification: 9th International Conference, Cav'97, Haifa, Israel, June 22-25, 1997, Proceedings (1997) 9783540631668 by
Grumberg, Orna -
Springer,
-1997
Dewey: 004.24015113
N/A
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, Tacas 2007 Held as Part of the Joint European Confer 9783540712084 by
Grumberg, Orna -
Springer,
-2007
Dewey: 005.12
N/A