Search
Lexile Level
AR Level
AR Level
N/A
Theoretical Aspects of Computing - Ictac 2022: 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings (2022) 9783031177149 by
Seidl, Helmut -
Springer,
-2022
N/A
Software Engineering and Formal Methods: 19th International Conference, Sefm 2021, Virtual Event, December 6-10, 2021, Proceedings (2021) 9783030921231 by
Calinescu, Radu -
Springer,
-2021
N/A
Formal Aspects of Component Software: 9th International Symposium, Facs 2012, Mountain View, Ca, Usa, September 11-13, 2012. Revised Selected Papers 9783642358609 by
Pasareanu, Corina S -
Springer,
-2013
Dewey: 005.1
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
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