Search
Lexile Level
AR Level
AR Level
Computer Aided Verification 9781013270987 by
Weissenbacher, Georg -
Saint Philip Street Press,
-2020
N/A
Hardware and Software: Verification and Testing (2009) 9783642017018 by
Chockler, Hana -
Springer,
-2009
Dewey: 004.24
N/A
N/A
Computer Aided Verification: 30th International Conference, Cav 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 14-1 9783319961415 by
Chockler, Hana -
Springer,
-2018
Dewey: 005.1015113
N/A
Computer Aided Verification: 30th International Conference, Cav 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 14-1 9783319961446 by
Chockler, Hana -
Springer,
-2018
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
Computer Aided Verification 9781013270994 by
Weissenbacher, Georg -
Saint Philip Street Press,
-2020
N/A