Seite 44 von 51
Anzahl pro Seite
Sortiert nach
Produkte: 512 Seite 44 von 51 Filter
Gabmeyer / Johnsen

Tests and Proofs  

Tests and Proofs
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Gabmeyer / Johnsen

Tests and Proofs

  • Verlag: Springer International Publishing
  • ISBN: 978-3-319-61466-3 (Buch)
  • Erscheinungstermin: 18.06.2017
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Dutle / Muñoz / Narkawicz

NASA Formal Methods  

NASA Formal Methods
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Dutle / Muñoz / Narkawicz

NASA Formal Methods

  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-319-77934-8 (Buch)
  • Erscheinungstermin: 11.03.2018
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Meyer / Woodcock

Verified Software: Theories, Tools, Experiments  

Verified Software: Theories, Tools, Experiments
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-69147-1 (Buch)
  • Erscheinungstermin: 07.07.2008
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Bonsangue / Graf / de Roever

Formal Methods for Components and Objects  

Formal Methods for Components and Objects
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bonsangue / Graf / de Roever

Formal Methods for Components and Objects

  • Verlag: Springer
  • ISBN: 978-3-540-92187-5 (Buch)
  • Erscheinungstermin: 01.12.2008
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bonsangue / Madelaine

Formal Methods for Components and Objects  

Formal Methods for Components and Objects
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-04166-2 (Buch)
  • Erscheinungstermin: 07.09.2009
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Lemos / Gacek / Romanovsky

Architecting Dependable Systems IV  

Architecting Dependable Systems IV
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Lemos / Gacek / Romanovsky

Architecting Dependable Systems IV

  • Verlag: Springer
  • ISBN: 978-3-540-74033-9 (Buch)
  • Erscheinungstermin: 15.08.2007
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Hankin / Siveroni

Static Analysis  

Static Analysis
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Hankin / Siveroni

Static Analysis

  • Verlag: Springer
  • ISBN: 978-3-540-28584-7 (Buch)
  • Erscheinungstermin: 25.08.2005
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Winther / Gran / Dahll

Computer Safety, Reliability, and Security  

Computer Safety, Reliability, and Security
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-29200-5 (Buch)
  • Erscheinungstermin: 19.09.2005
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Gurfinkel / Seshia

Verified Software: Theories, Tools, and Experiments  

Verified Software: Theories, Tools, and Experiments
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-319-29612-8 (Buch)
  • Erscheinungstermin: 29.01.2016
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach