Search
Lexile Level
AR Level
AR Level
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised 9783642195822 by
Barner, Sharon -
Springer,
-2011
Dewey: 005.1
N/A
Decision Procedures: An Algorithmic Point of View (2008) 9783540741046 by
Kroening, Daniel -
Springer,
-2008
Dewey: 519.542
N/A
Decision Procedures: An Algorithmic Point of View 9783662504963 by
Kroening, Daniel -
Springer,
-2017
Dewey: 519.542
N/A
N/A
Verified Software: Theories, Tools and Experiments: 6th International Conference, Vstte 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Pape 9783319121536 by
Giannakopoulou, Dimitra -
Springer,
-2014
Dewey: 005.1
N/A
N/A
Computer Aided Verification: 27th International Conference, Cav 2015, San Francisco, Ca, Usa, July 18-24, 2015, Proceedings, Part I (2015) 9783319216898 by
Kroening, Daniel -
Springer,
-2015
Dewey: 005.1015113
N/A
Computer Aided Verification: 27th International Conference, Cav 2015, San Francisco, Ca, Usa, July 18-24, 2015, Proceedings, Part II (2015) 9783319216676 by
Kroening, Daniel -
Springer,
-2015
Dewey: 005.1015113
N/A
Validation of Evolving Software (Softcover Reprint of the Original 1st 2015) 9783319382005 by
Chockler, Hana -
Springer,
-2016
Dewey: 005
N/A
Decision Procedures: An Algorithmic Point of View (Softcover Reprint of the Original 2nd 2016) 9783662570654 by
Kroening, Daniel -
Springer,
-2018
Dewey: 519.542
N/A