Search
Lexile Level
AR Level
AR Level
Component-Based Software Engineering: 12th International Symposium, Cbse 2009 East Stroudsburg, Pa, Usa, June 24-26, 2009 Proceedings (2009) 9783642024139 by
Lewis, Grace A -
Springer,
-2009
Dewey: 005.1
N/A
Adapting Proofs-As-Programs: The Curry--Howard Protocol (2005) 9780387237596 by
Poernomo, Iman -
Springer,
-2005
Dewey: 511.36
N/A
Adapting Proofs-As-Programs: The Curry--Howard Protocol 9781441920140 by
Poernomo, Iman -
Springer,
-2010
Dewey: 511.36
N/A