Seite 8 von 136
Anzahl pro Seite
Sortiert nach
Produkte: 1364 Seite 8 von 136 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.)
Benninghofen / Kemmerich / Richter

Systems of Reductions  

Systems of Reductions
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Benninghofen / Kemmerich / Richter

Systems of Reductions

  • Verlag: Springer
  • ISBN: 978-3-540-18598-7 (Buch)
  • Erscheinungstermin: 25.11.1987
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Rus

Algebraic Methodology and Software Technology  

Algebraic Methodology and Software Technology
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-67530-3 (Buch)
  • Erscheinungstermin: 03.05.2000
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Barnes

Ada 95 Rationale  

Ada 95 Rationale
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-63143-9 (Buch)
  • Erscheinungstermin: 03.06.1997
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Hailpern

Verifying Concurrent Processes Using Temporal Logic  

Verifying Concurrent Processes Using Temporal Logic
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-11205-1 (Buch)
  • Erscheinungstermin: 01.03.1982
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bowen / Dunne / Galloway

ZB 2000: Formal Specification and Development in Z and B  

ZB 2000: Formal Specification and Development in Z and B
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-67944-8 (Buch)
  • Erscheinungstermin: 16.08.2000
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Arbab / Talcott

Coordination Models and Languages  

Coordination Models and Languages
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-43410-8 (Buch)
  • Erscheinungstermin: 27.03.2002
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
He / Sato

Advances in Computing Science - ASIAN 2000  

Advances in Computing Science - ASIAN 2000
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-41428-5 (Buch)
  • Erscheinungstermin: 13.12.2000
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Lee / Yi / Yung

Information Security Applications  

Information Security Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer-Verlag GmbH
  • ISBN: 978-3-540-71092-9 (Buch)
  • Erscheinungstermin: 30.03.2007
  • Lieferzeit ca. 1-3 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach