-
Logic for programming and automated reasoning – 6th international conference ; proceedings
Ganzinger, Harald 1999 Springer
-
Logik der Programmierung – strukturierte u. normierte Programmierung mit Programmablaufplänen u. Struktogrammen
Hamann, Günter O. 1986 Taylorix-Fachverlag
-
Einführung in die Programmierlogik
Harschneck, Andreas 1985 Forkel
-
Logics of programs and their applications – proceedings, Poznan, August 23 - 29, 1980
Salwicki, Andrzej 1983 Springer
-
An introduction to the PL/CV2 [PL/CV two] programming logic
Constable, Robert Lee ; Johnson, Scott D. ; Eichenlaub, Carl D. 1982 Springer
-
Axiomatising the logic of computer programming
Goldblatt, Robert 1982 Springer
-
Semantics, applications, and implementation of program generation – second international workshop ; proceedings
Taha, Walid Mohamed 2001 Springer
-
Logic for programming, artificial intelligence, and reasoning – 20th international conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 ; proceedings
Davis, Martin ; Fehnker, Ansgar ; McIver, Annabelle ; Voronkov, Andrei 2015 Springer
-
Computer science logic – 22nd international workshop ; proceedings
Kaminski, Michael 2008 Springer
-
Computer science logic – 21st international workshop ; proceedings
Duparc, Jacques 2007 Springer
-
Verification of object oriented software – the KeY approach
Beckert, Bernhard 2007 Springer
-
Computer science logic – 20th international workshop ; proceedings
Ésik, Zoltán 2006 Springer
-
Computer science logic – 19th international workshop ; proceedings
Ong, Luke 2005 Springer
-
Computer science logic – proceedings
Baaz, Matthias 2003 Springer
-
Verification – theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday
Dershowitz, Nachum 2003 Springer
-
Computer science logic – 16th international workshop ; proceedings
Bradfield, Julian 2002 Springer
-
Computer science logic – 15th international workshop ; proceedings
Fribourg, Laurent 2001 Springer
-
Programming languages and systems – proceedings
De Nicola, Rocco 2007 Springer
-
Automated reasoning – second international joint conference ; proceedings
Basin, David A. 2004 Springer
-
Logic and Program Semantics – Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Constable, Robert Lee ; Kozen, Dexter 2012 Springer Berlin Heidelberg