Seite 16 von 16
Anzahl pro Seite
Sortiert nach
Produkte: 163 Seite 16 von 16 Filter
Rischel / Ravn

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 Berlin Heidelberg
  • ISBN: 978-3-540-65003-4 (Buch)
  • Erscheinungstermin: 02.09.1998
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Steffen / Margaria

Tools and Algorithms for the Construction and Analysis of Systems  

Tools and Algorithms for the Construction and Analysis of Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-61042-7 (Buch)
  • Erscheinungstermin: 20.03.1996
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Thalheim / Zimmermann

Abstract State Machines 2004. Advances in Theory and Practice  

Abstract State Machines 2004. Advances in Theory and Practice
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-22094-7 (Buch)
  • Erscheinungstermin: 11.05.2004
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Wagner / Näher

Algorithm Engineering  

Algorithm Engineering
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Wagner / Näher

Algorithm Engineering

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-42512-0 (Buch)
  • Erscheinungstermin: 15.08.2001
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Hatcliff / Garavel

Tools and Algorithms for the Construction and Analysis of Systems  

Tools and Algorithms for the Construction and Analysis of Systems
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-00898-9 (Buch)
  • Erscheinungstermin: 14.03.2003
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Börger / Riccobene / Gargantini

Abstract State Machines 2003: Advances in Theory and Practice  

Abstract State Machines 2003: Advances in Theory and Practice
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-00624-4 (Buch)
  • Erscheinungstermin: 21.02.2003
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Limongelli / Calmet

Design and Implementation of Symbolic Computation Systems  

Design and Implementation of Symbolic Computation Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-61697-9 (Buch)
  • Erscheinungstermin: 04.09.1996
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Camilleri / Srivas

Formal Methods in Computer-Aided Design  

Formal Methods in Computer-Aided Design
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-61937-6 (Buch)
  • Erscheinungstermin: 23.10.1996
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Lindsay / Eriksson

FME 2002: Formal Methods - Getting IT Right  

FME 2002: Formal Methods - Getting IT Right
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-43928-8 (Buch)
  • Erscheinungstermin: 10.07.2002
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Alur / Sontag / Henzinger

Hybrid Systems III  

Hybrid Systems III
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Alur / Sontag / Henzinger

Hybrid Systems III

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-61155-4 (Buch)
  • Erscheinungstermin: 24.04.1996
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach