Title
Author / Artist
Binding
ISBN/ISBN-13 or UPC
Pub Date
Price
1. Fachtagung Über Programmiersprachen: München, 9.-11. März 1971 (Lecture Notes in Economic and Mathematical Systems) (German) Langmaack, Hans Paperback 3540060510 / 9783540060512 1972-10-30 $56.99
Compositionality: The Significant Difference: International Symposium, Compos'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures 1998 Edition (Lecture Notes in Computer Science)Roever, Willem-Paul de Paperback 3540654933 / 9783540654933 1998-12-18 $104.49
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control 1996 Edition (Lecture Notes in Mathematics)Abrial, Jean-Raymond Paperback 3540619291 / 9783540619291 1996-10-30 $104.49
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Sys 1994 Edition (Lecture Notes in Computer Science)Langmaack, Hans Paperback 3540584684 / 9783540584681 1994-09-07 $104.49
Loglan '88 - Report on the Programming Language 1990 Edition (Lecture Notes in Computer Science)Ciesielski, Boleslaw Paperback 3540523251 / 9783540523253 1990-03-07 $52.24
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, Frg, April 17-21, 1990, Proceedings 1990 Edition (Lecture Notes in Computer Science)Bjørner, Dines Paperback 3540525130 / 9783540525134 1990-04-04 $52.24