Search
Lexile Level
AR Level
AR Level
Verification of Object-Oriented Software. the Key Approach: Foreword by K. Rustan M. Leino (2007) 9783540689775 by
Beckert, Bernhard -
Springer,
-2007
Dewey: 005.14
N/A
Nonmonotonic and Inductive Logic: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings (1991) 9783540545644 by
Jantke, Klaus P -
Springer,
-1991
Dewey: 006.3
N/A
Theorie Der Logischen Programmierung: Eine Elementare Einführung 9783540557029 by
Schmitt, Peter H -
Springer,
-1992
Dewey: 005.11
N/A
Deductive Software Verification - The Key Book: From Theory to Practice (2016) 9783319498119 by
Ahrendt, Wolfgang -
Springer,
-2016
Dewey: 005.1
N/A
Nonmonotonic and Inductive Logic: Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings (1993) 9783540564331 by
Brewka, Gerhard -
Springer,
-1993
Dewey: 006.3
N/A