Seite 1 von 3
Anzahl pro Seite
Sortiert nach
Produkte: 29 Seite 1 von 3 Filter
Hooman

Specification and Compositional Verification of Real-Time Systems  

Specification and Compositional Verification of Real-Time Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-54947-5 (Buch)
  • Erscheinungstermin: 27.11.1991
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Jonsson / Parrow

Formal Techniques in Real-Time and Fault-Tolerant Systems  

Formal Techniques in Real-Time and Fault-Tolerant Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-61648-1 (Buch)
  • Erscheinungstermin: 21.08.1996
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Wing / Woodcook / Davies

FM'99 - Formal Methods  

FM'99 - Formal Methods
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Wing / Woodcook / Davies

FM'99 - Formal Methods

  • Verlag: Springer
  • ISBN: 978-3-540-66587-8 (Buch)
  • Erscheinungstermin: 13.09.1999
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Reed

SDL 2003: System Design  

SDL 2003: System Design
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-40539-9 (Buch)
  • Erscheinungstermin: 26.06.2003
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Amadio

Foundations of Software Science and Computational Structures  

Foundations of Software Science and Computational Structures
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-78497-5 (Buch)
  • Erscheinungstermin: 18.03.2008
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bernardo / Cimatti

Formal Methods for Hardware Verification  

Formal Methods for Hardware Verification
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-34304-2 (Buch)
  • Erscheinungstermin: 15.05.2006
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Nielsen / Engberg

Foundations of Software Science and Computation Structures  

Foundations of Software Science and Computation Structures
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-43366-8 (Buch)
  • Erscheinungstermin: 22.03.2002
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Sventek / Coulson

Middleware 2000  

Middleware 2000
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Sventek / Coulson

Middleware 2000

  • Verlag: Springer
  • ISBN: 978-3-540-67352-1 (Buch)
  • Erscheinungstermin: 23.03.2000
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Cortesi / File

Static Analysis  

Static Analysis
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Cortesi / File

Static Analysis

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-66459-8 (Buch)
  • Erscheinungstermin: 08.09.1999
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Cousot / Schmidt

Static Analysis  

Static Analysis
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Cousot / Schmidt

Static Analysis

  • Verlag: Springer
  • ISBN: 978-3-540-61739-6 (Buch)
  • Erscheinungstermin: 11.09.1996
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach