|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Abstract State Machines 2003: Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings 2003 Edition (Lecture Notes in Computer Science) | Börger, Egon | Paperback | 3540006249 / 9783540006244 | 02/2003 | $52.24 |
| | Abstract State Machines, B and Z: First International Conference, Abz 2008, London, Uk, September 16-18, 2008. Proceedings 2008 Edition (Lecture Notes in Computer Science) | Börger, Egon | Paperback | 3540876022 / 9783540876021 | 09/2008 | $52.24 |
| | Abstract State Machines: A Method for High-Level System Design and Analysis Softcover Repri Edition | Börger, Egon | Paperback | 3642621163 / 9783642621161 | 10/2013 | $52.24 |
| | Abstract State Machines: A Method for High-Level System Design and Analysis 2003 Edition | Börger, Egon | Hardcover | 3540007024 / 9783540007029 | 04/2003 | $52.24 |
| | Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures 2008 Edition (Lecture Notes in Computer Science / Programming and Software) | Börger, Egon | Paperback | 3540897615 / 9783540897613 | 12/2008 | $52.24 |
| | Architecture Design and Validation Methods Softcover Repri Edition | Börger, Egon | Paperback | 3642629768 / 9783642629761 | 10/2012 | $52.24 |
| | Berechenbarkeit Komplexität Logik: Algorithmen, Sprachen Und Kalküle Unter Besonderer Berücksichtigung Ihrer Komplexität 3., Verb. Und E Edition (German) | Börger, Egon | Paperback | 3528289287 / 9783528289287 | 03/1992 | $47.49 |
| | Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen Und Kalküle Unter Besonderer Berücksichtigung Ihrer Komplexität 2. Aufl. 1986 Edition (German) | Börger, Egon | Paperback | 3528189282 / 9783528189280 | 01/1986 | $56.99 |
| | Computation Theory and Logic 1987 Edition (Lecture Notes in Computer Science) | Börger, Egon | Paperback | 3540181709 / 9783540181705 | 07/1987 | $52.24 |
| | Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings 1991 Edition (Lecture Notes in Computer Science) | Börger, Egon | Paperback | 3540544879 / 9783540544876 | 09/1991 | $52.24 |
| | Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings 1992 Edition (Lecture Notes in Computer Science) | Börger, Egon | Paperback | 354055789X / 9783540557890 | 09/1992 | $52.24 |
| | Computer Science Logic: 6th Workshop, Csl'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers 1993 Edition (Lecture Notes in Computer Science) | Börger, Egon | Paperback | 3540569928 / 9783540569923 | 08/1993 | $52.24 |
| | Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers 1994 Edition (Lecture Notes in Computer Science) | Börger, Egon | Paperback | 3540582770 / 9783540582779 | 07/1994 | $52.24 |
| | CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, Frg, October 12-16, 1987. Proceedings 1988 Edition (Lecture Notes in Computer Science) | Börger, Egon | Paperback | 3540502416 / 9783540502418 | 09/1988 | $52.24 |
| | CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, Frg, October 2-6, 1989. Proceedings 1990 Edition (Lecture Notes in Computer Science) | Börger, Egon | Paperback | 3540527532 / 9783540527534 | 07/1990 | $52.24 |
| | Csl'88: 2nd Workshop on Computer Science Logic, Duisburg, Frg, October 3-7, 1988. Proceedings 1989 Edition (Lecture Notes in Computer Science) | Börger, Egon | Paperback | 354051659X / 9783540516590 | 09/1989 | $52.24 |
| | 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 |
| | Java and the Java Virtual Machine: Definition, Verification, Validation 2001 Edition | Stärk, Robert F. | Hardcover | 3540420886 / 9783540420880 | 06/2001 | $52.24 |
| | Java and the Java Virtual Machine: Definition, Verification, Validation Softcover Repri Edition | Stärk, Robert F. | Paperback | 3642639976 / 9783642639975 | 08/2014 | $52.24 |
| | Modeling Companion for Software Practitioners 2018 Edition | Börger, Egon | Paperback | 3662566397 / 9783662566398 | 04/2018 | $66.49 |
| | The Classical Decision Problem Softcover Repri Edition (Universitext) | Börger, Egon | Paperback | 3540423249 / 9783540423249 | 08/2001 | $189.99 |
|
|
|