Ergebnisse filtern
-
- 15
- 15
-
- 30
-
- 21
- 9
-
- 30
-
- 30
-
- 30
- 1
-
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 -
Goldsack / Kent Formal Methods and Object Technology
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-3071-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Lano Formal Object-Oriented Development
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-3073-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Lano Formal Object-Oriented Development
Softcover Nachdruck of the original 1. Auflage 1995Verlag: SpringerISBN: 978-3-540-19978-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hinchey / Bowen Industrial-Strength Formal Methods in Practice
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-0523-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar -
Palanque / Paterno Formal Methods in Human-Computer Interaction
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-3425-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Bowen / Hinchey Industrial-Strength Formal Methods in Practice
1999Verlag: SpringerISBN: 978-1-85233-640-0Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Paterno / Palanque Formal Methods in Human-Computer Interaction
Softcover Nachdruck of the original 1. Auflage 1998Verlag: SpringerISBN: 978-3-540-76158-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lano The B Language and Method
A Guide to Practical Formal DevelopmentErscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-1494-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Lano The B Language and Method
A Guide to Practical Formal DevelopmentSoftcover Nachdruck of the original 1. Auflage 1996Verlag: SpringerISBN: 978-3-540-76033-7Medium: Buch53,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 -
Kaposi / Myers Systems, Models and Measures
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-1977-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Myers / Kaposi Systems, Models and Measures
1. Auflage. 1993Verlag: SpringerISBN: 978-3-540-19753-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Derrick / Boiten Refinement in Z and Object-Z
Foundations and Advanced ApplicationsErscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-0257-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark139,09 € (inkl. MwSt.)
sofort verfügbar -
Bowen / Hinchey High-Integrity System Specification and Design
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-3431-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
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 -
Andrews A Theory and Practice of Program Development
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-0987-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Andrews A Theory and Practice of Program Development
1. Auflage. 1997Verlag: SpringerISBN: 978-3-540-76162-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cooke Constructing Correct Software
Erscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4471-3985-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark52,99 € (inkl. MwSt.)
sofort verfügbar -
Bicarregui Proof in VDM: Case Studies
1998Verlag: SpringerISBN: 978-1-4471-1532-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Frappier / Habrias Software Specification Methods
An Overview Using a Case Study2001Verlag: SpringerISBN: 978-1-4471-0701-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Habrias / Frappier Software Specification Methods
An Overview Using a Case StudySoftcover Nachdruck of the original 1. Auflage 2001Verlag: SpringerISBN: 978-1-85233-353-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bicarregui / Fitzgerald / Ritchie Proof in VDM: A Practitioner¿s Guide
Softcover Nachdruck of the original 1. Auflage 1994Verlag: SpringerISBN: 978-3-540-19813-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sekerinski / Sere Program Development by Refinement
Case Studies Using the B MethodErscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-0585-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark213,99 € (inkl. MwSt.)
sofort verfügbar -
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort