| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Das V-Modell XT: Grundlagen, Erfahrungen und Werkzeuge | | 978-3-89864-335-1 | 2008 | Andreas Rausch |
| Das V-Modell XT. Grundlagen, Methodik und Anwendungen: Grundlagen, Methodik Und Anwendungen : Grundlagen, Methodik Und Anwendungen | | 978-3-540-30249-0 | 2008 | Andreas Rausch · Klaus Bergner |
| Deductive Program Design | | 978-3-540-60947-6 | 1996 |
| Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry) | | 978-1-4020-3530-2 | 2005 | Johannes Gruenbauer · David Harel · Tony Hoare |
| Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings | | 978-3-540-57316-6 | 1993 | Dines Bjorner · Igor V. Pottosin |
| Formal Systems Specification: The RPC-Memory Specification Case Study | | 978-3-540-61984-0 | 1996 | Stephan Merz · Katharina Spies |
| Informatik 1. Programmierung und Rechnerstrukturen. Eine grundlegende Einführung | | 978-3-540-63234-4 | 1997 |
| Informatik 2. Systemstrukturen und Theoretische Informatik: Eine grundlegende Einführung | | 978-3-540-64392-0 | 2003 |
| Informatik 3. Eine grundlegende Einführung. Systemstrukturen und systembezogene Programmierung | | 978-3-540-57672-3 | 1994 |
| Informatik. Eine grundlegende Einführung 1: Programmierung und Rechnerstrukturen | | 978-3-540-21417-5 | 2009 |
| Informatik. Eine grundlegende Einführung: Band 2: Systemstrukturen und Theoretische Informatik | | 978-3-540-21418-2 | 2009 |
| Informatik und Mathematik | | 978-3-540-54108-0 | 1996 |
| KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report | | 978-3-540-60589-8 | 1995 | Stefan Jähnichen |
| Mathematical Methods in Program Development | | 978-3-540-63195-8 | 1997 | Birgit Schieder |
| Methods of Programming: Selected Papers on the CIP-Project | | 978-3-540-54576-7 | 1991 | Martin Wirsing |
| Model-Based Testing of Reactive Systems: Advanced Lectures | | 978-3-540-26278-7 | 2005 | Bengt Jonsson · Joost-Pieter Katoen · Martin Leucker · Pretschner, Alexander |
| Modellbildung in der Informatik. | | 978-3-540-44292-9 | 2003 | R. Steinbrüggen |
| Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers | | 978-3-540-43075-9 | 2001 | Dines Bjorner · Alexandre V. Zamulin |
| Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; ... 1996, Proceedings | | 978-3-540-62064-8 | 1996 | Dines Bjorner · Igor V. Pottosin |
| Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 ... | | 978-3-540-67102-2 | 2000 | Dines Bjorner · Alexandre V. Zamulin |
| Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, ... Papers | | 978-3-540-20813-6 | 2004 | Alexandre V. Zamulin |
| Program Design Calculi: Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Held in Marktoberdorf, Germany, July 28-August 9, 1992 | | 978-3-540-56943-5 | 1993 |
| Requirements Targeting Software and Systems Engineering: International Workshop Rtse '97, Bernried, Germany, October 12-14, 1997: Proceedings | | 978-3-540-65309-7 | 1998 | Bernhard Rumpe |
| Software Pioneers. Contributions to Software Engineering.: Contributions to Software Engineering | | 978-3-540-43081-0 | 2002 | Ernst Denert |
| Übungen zur Einführung in die Informatik. Mit CD-ROM | | 978-3-540-42065-1 | 2001 | Bernhard Rumpe |