Search
Lexile Level
AR Level
AR Level
Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Proceedings (1991) 9783540544777 by
Clarke, Edmund M -
Springer,
-1991
Dewey: 621.3815
N/A
Investment Industry Claims Debunked: Smart Personal Finance Management for Ordinary Folks, Before and After Retirement (2021) 9783030767082 by
Kurshan, Robert P -
Springer,
-2021
N/A
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach 9780691606057 by
Kurshan, Robert P -
Princeton University Press,
-2014
Dewey: 670.42
N/A
Verification of Digital and Hybrid Systems (Softcover Reprint of the Original 1st 2000) 9783642640520 by
Inan, M Kemal -
Springer,
-2011
Dewey: 004.0151
N/A
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach 9780691634890 by
Kurshan, Robert P -
Princeton University Press,
-2016
Dewey: 670.42
N/A