| Titel | Art | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Abstract State Machines 2003. Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings: v. 2589 | Taschenbuch | 978-3-540-00624-4 | 2003 | Angelo Gargantini · Elvinia Riccobene |
| Abstract State Machines: A Method for High-Level System Design and Analysis | " | 978-3-642-62116-1 | 2013 | Robert Stärk |
| Abstract State Machines: A Method for High-Level System Design and Analysis | Gebunden | 978-3-540-00702-9 | 2003 | " |
| Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings | Taschenbuch | 978-3-540-87602-1 | 2008 | Michael Butler · Jonathan P. Bowen · Paul Boca |
| Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures | " | 978-3-540-89761-3 | 2008 | Antonio Cisternino |
| Architecture Design and Validation Methods | " | 978-3-642-62976-1 | 2013 |
| Architecture Design and Validation Methods | Gebunden | 978-3-540-64976-2 | 2000 |
| Berechenbarkeit, Komplexität, Logik. Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigungen ihrer Komplexität. | " | 978-3-528-08928-3 | 1985 |
| Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität | Taschenbuch | 978-3-528-18928-0 | 1986 |
| Computation Theory and Logic | " | 978-3-540-18170-5 | 1987 |
| Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings: 4th, 1990 | " | 978-3-540-54487-6 | 1991 |
| Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings: CSL '91, Berne, Switzerland, October 7-11, 1991 - ... Workshop | " | 978-3-540-55789-0 | 1992 | Michael M. Richter · Hans Kleine Büning · Gerhard Jäger |
| Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers: CSL '93, Swansea, United Kingdom, ... Workshop | " | 978-3-540-58277-9 | 1994 | Yuri Gurevich · Karl Meinke |
| CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings | " | 978-3-540-50241-8 | 1988 | Hans Kleine Büning · Michael M. Richter |
| CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings | " | 978-3-540-51659-0 | 1989 | Hans Kleine Büning · Michael M. Richter |
| CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings: 3rd, 1989 | " | 978-3-540-52753-4 | 1990 | Hans Kleine Büning · Michael M. Richter |
| Formal Methods for Industrial Applications. Specifying and Programming the Steam Boiler Control | " | 978-3-540-61929-1 | 1997 | Jean-Raymond Abrial · Hans Langmaack |
| Java and the Java Virtual Machine: Definition, Verification, Validation | " | 978-3-642-63997-5 | 2014 | Robert F. Stärk · Joachim Schmid |
| Java and the Java Virtual Machine: Definition, Verification, Validation | Gebunden | 978-3-540-42088-0 | 2001 | Robert F. Stärk · Joachim Schmid |
| Modeling Companion for Software Practitioners | Taschenbuch | 978-3-662-56639-8 | 2018 |
| Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory | " | 978-3-540-13901-0 | 2009 | Michael M. Richter · Brigitta Schinzel · Walter Oberschelp · Wolfgang Thomas |
| Subject-Oriented Business Process Management | Gebunden | 978-3-642-32391-1 | 2012 | Albert Fleischmann · Werner Schmidt · Christian Stary · Stefan Obermeier |
| The Classical Decision Problem | Taschenbuch | 978-3-540-42324-9 | 2001 | Erich Grädel · Yuri Gurevich |
| The Classical Decision Problem | Gebunden | 978-3-540-57073-8 | 1996 | Erich Grädel · Yuri Gurevich |