Seite 1 von 1
Anzahl pro Seite
Sortiert nach
Produkte: 11 Seite 1 von 1 Filter
Zhang / Graf

Automated Technology for Verification and Analysis  

Automated Technology for Verification and Analysis
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-47237-7 (Buch)
  • Erscheinungstermin: 10.10.2006
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Dams / Massinek / Gerth

Theoretical and Practical Aspects of SPIN Model Checking  

Theoretical and Practical Aspects of SPIN Model Checking
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-66499-4 (Buch)
  • Erscheinungstermin: 08.09.1999
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Lindner / Lewerentz

Formal Development of Reactive Systems  

Formal Development of Reactive Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-58867-2 (Buch)
  • Erscheinungstermin: 26.01.1995
  • 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.)
Gaševic / van Wyk / Lämmel

Software Language Engineering  

Software Language Engineering
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Gaševic / van Wyk / Lämmel

Software Language Engineering

  • Verlag: Springer
  • ISBN: 978-3-642-00433-9 (Buch)
  • Erscheinungstermin: 02.04.2009
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Leue / Bosnacki

Model Checking Software  

Model Checking Software
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-43477-1 (Buch)
  • Erscheinungstermin: 27.03.2002
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Wang

Automated Technology for Verification and Analysis  

Automated Technology for Verification and Analysis
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-23610-8 (Buch)
  • Erscheinungstermin: 19.10.2004
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Klint

A Study in String Processing Languages  

A Study in String Processing Languages
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-16041-0 (Buch)
  • Erscheinungstermin: 01.11.1985
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Pirotte / Gottlob / Delobel

Advances in Database Technology - EDBT '92  

Advances in Database Technology - EDBT '92
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-55270-3 (Buch)
  • Erscheinungstermin: 11.03.1992
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Melichar / Alblas

Attribute Grammars, Applications and Systems  

Attribute Grammars, Applications and Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-54572-9 (Buch)
  • Erscheinungstermin: 23.10.1991
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • |
  • 1
  • |
Filter
Anzahl pro Seite
Sortiert nach