|
|
Title |
Author / Artist |
Prod Type |
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 | 10/1972 | $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 | 12/1998 | $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 | 10/1996 | $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 | 09/1994 | $104.49 |
| | Loglan '88 - Report on the Programming Language 1990 Edition (Lecture Notes in Computer Science) | Ciesielski, Boleslaw | Paperback | 3540523251 / 9783540523253 | 03/1990 | $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 | 04/1990 | $52.24 |
|
|
|