Search
Lexile Level
AR Level
AR Level
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceeding 9783540894384 by
Cervesato, Iliano -
Springer,
-2008
Dewey: 005.115
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: 25th International Conference, Cav 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings (2013) 9783642397981 by
Sharygina, Natasha -
Springer,
-2013
Dewey: 004.6
N/A