Seite 1 von 1
Anzahl pro Seite
Sortiert nach
Produkte: 9 Seite 1 von 1 Filter
Dang Van / George / Janowski

Specification Case Studies in RAISE  

Specification Case Studies in RAISE
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Dang Van / George / Janowski

Specification Case Studies in RAISE

  • Verlag: Springer
  • ISBN: 978-1-85233-359-1 (Buch)
  • Erscheinungstermin: 08.02.2002
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Bicarregui

Proof in VDM: Case Studies  

Proof in VDM: Case Studies
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-76186-0 (Buch)
  • Erscheinungstermin: 02.03.1998
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Sekerinski / Sere

Program Development by Refinement  

Program Development by Refinement
213,99 € (inkl. MwSt.) 199,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-1-85233-053-8 (Buch)
  • Erscheinungstermin: 23.10.1998
  • Lieferzeit ca. 10 Werktage
213,99 € (inkl. MwSt.) 199,99 € (zzgl. MwSt.)
Goldsack / Kent

Formal Methods and Object Technology  

Formal Methods and Object Technology
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-19977-9 (Buch)
  • Erscheinungstermin: 26.04.1996
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Hinchey / Bowen

Industrial-Strength Formal Methods in Practice  

Industrial-Strength Formal Methods in Practice
160,49 € (inkl. MwSt.) 149,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-1-85233-640-0 (Buch)
  • Erscheinungstermin: 17.09.1999
  • Lieferzeit ca. 10 Werktage
160,49 € (inkl. MwSt.) 149,99 € (zzgl. MwSt.)
Kaposi / Myers

Systems, Models and Measures  

Systems, Models and Measures
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-19753-9 (Buch)
  • Erscheinungstermin: 01.12.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Feijs / Jonkers / Middelburg

Notations for Software Design  

Notations for Software Design
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Feijs / Jonkers / Middelburg

Notations for Software Design

  • Verlag: Springer
  • ISBN: 978-3-540-19902-1 (Buch)
  • Erscheinungstermin: 19.10.1994
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bicarregui / Fitzgerald / Lindsay

Proof in VDM: A Practitioner's Guide  

Proof in VDM: A Practitioner's Guide
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bicarregui / Fitzgerald / Lindsay

Proof in VDM: A Practitioner's Guide

  • Verlag: Springer
  • ISBN: 978-3-540-19813-0 (Buch)
  • Erscheinungstermin: 01.12.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bowen / Hinchey

High-Integrity System Specification and Design  

High-Integrity System Specification and Design
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-76226-3 (Buch)
  • Erscheinungstermin: 12.04.1999
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • |
  • 1
  • |