Ergebnisse filtern
-
- 9
-
- 1
- 2
- 2
- 1
- 1
- 2
-
- 7
- 2
-
- 4
- 5
-
- 9
-
- 9
-
- 9
- 1
Mathematik | Informatik
-
Kent / Goldsack Formal Methods and Object Technology
Softcover Nachdruck of the original 1. Auflage 1996Verlag: SpringerISBN: 978-3-540-19977-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bowen / Hinchey Industrial-Strength Formal Methods in Practice
1999Verlag: SpringerISBN: 978-1-85233-640-0Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dang Van / Moore / George Specification Case Studies in RAISE
2002Verlag: SpringerISBN: 978-1-85233-359-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Myers / Kaposi Systems, Models and Measures
1. Auflage. 1993Verlag: SpringerISBN: 978-3-540-19753-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hinchey / Bowen High-Integrity System Specification and Design
Softcover Nachdruck of the original 1. Auflage 1999Verlag: SpringerISBN: 978-3-540-76226-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bicarregui / Fitzgerald / Ritchie Proof in VDM: A Practitioner's Guide
Softcover Nachdruck of the original 1. Auflage 1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-19813-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bicarregui Proof in VDM: Case Studies
Softcover Nachdruck of the original 1. Auflage 1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-76186-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sere / Sekerinski Program Development by Refinement
Case Studies Using the B Method1999Verlag: SpringerISBN: 978-1-85233-053-8Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Feijs / Middelburg / Jonkers Notations for Software Design
Softcover Nachdruck of the original 1. Auflage 1994Verlag: SpringerISBN: 978-3-540-19902-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort