| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Baltic Computer Science: Selected Papers | Taschenbuch | | 978-3-540-54131-8 | 2008 | Janis Barzdins |
| Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings | " | | 978-3-540-57316-6 | 2008 | Manfred Broy · Igor V. Pottosin |
| Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993: Proceedings | Paperback | | 978-0-387-57316-8 | 1993 | Manfred Broy · Igor V. Pottosin |
| Formal Specification and Software Development | Hardcover | | 978-0-13-329003-5 | 1982 | etc. |
| Logics of Specification Languages | Taschenbuch | | 978-3-642-09345-6 | 2010 | Martin C. Henson |
| Logics of Specification Languages | Gebunden | | 978-3-540-74106-0 | 2007 | " |
| Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Notes in Computer Science , Band 2244) | Taschenbuch | | 978-3-540-43075-9 | 2008 | Manfred Broy · Alexandre Zamulin |
| Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; ... Notes in Computer Science , Band 1181) | " | | 978-3-540-62064-8 | 1996 |
| Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings | " | | 978-3-540-67102-2 | 2000 | Manfred Broy · Alexandre V. Zamulin |
| Software Engineering 1 | Paperback | | 978-3-540-80110-8 | 2008 |
| Software Engineering 1: Abstraction and Modelling: v. 1 | Gebunden | | 978-3-540-21149-5 | 2005 |
| Software Engineering 2 | Paperback | | 978-3-540-80111-5 | 2008 |
| Software Engineering 2: Specification of Systems and Languages | Taschenbuch | | 978-3-642-05940-7 | 2010 |
| Software Engineering 2: Specification of Systems and Languages | Paperback | | 978-81-8128-785-4 | 2007 |
| Software Engineering 2: Specification of Systems and Languages | Gebunden | | 978-3-540-21150-1 | 2005 |
| Software Engineering 3 | Paperback | | 978-3-540-80112-2 | 2008 |
| Software Engineering 3: Domains, Requirements, and Software Design | Taschenbuch | | 978-3-642-05941-4 | 2010 |
| Software Engineering 3: Domains, Requirements, and Software Design: v. 3 | Gebunden | | 978-3-540-21151-8 | 2005 |
| VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings | Taschenbuch | | 978-3-540-17654-1 | 2008 | Cliff Jones · Erich J. Neuhold · Michael Mac An Airchinnigh |
| VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings | " | | 978-3-540-52513-4 | 2008 | Hans Langmaack · C.A.R. Hoare |