Seite 8 von 42
Anzahl pro Seite
Sortiert nach
Produkte: 424 Seite 8 von 42 Filter
Chen / Zhang

Secure Transaction Protocol Analysis  

Secure Transaction Protocol Analysis
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-85073-1 (Buch)
  • Erscheinungstermin: 30.07.2008
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Edwards / Kulczycki

Formal Foundations of Reuse and Domain Engineering  

Formal Foundations of Reuse and Domain Engineering
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-04210-2 (Buch)
  • Erscheinungstermin: 11.09.2009
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Cohen / Rybalchenko

Verified Software: Theorie, Tools, Experiments  

Verified Software: Theorie, Tools, Experiments
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-54107-0 (Buch)
  • Erscheinungstermin: 23.01.2014
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Groves / Sun

Formal Methods and Software Engineering  

Formal Methods and Software Engineering
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-41201-1 (Buch)
  • Erscheinungstermin: 11.09.2013
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Podelski

Static Analysis  

Static Analysis
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-319-99724-7 (Buch)
  • Erscheinungstermin: 29.08.2018
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Caivano / Oivo / Baldassarre

Product-Focused Software Process Improvement  

Product-Focused Software Process Improvement
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-21842-2 (Buch)
  • Erscheinungstermin: 15.06.2011
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Atkinson / Bunse / Gross

Component-Based Software Development for Embedded Systems  

Component-Based Software Development for Embedded Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-30644-3 (Buch)
  • Erscheinungstermin: 12.12.2005
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Mukund / Chakraborty

Automated Technology for Verification and Analysis  

Automated Technology for Verification and Analysis
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-33385-9 (Buch)
  • Erscheinungstermin: 16.08.2012
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Giachino / Hähnle / de Boer

Formal Methods for Components and Objects  

Formal Methods for Components and Objects
49,22 € (inkl. MwSt.) 46,00 € (zzgl. MwSt.)
Giachino / Hähnle / de Boer

Formal Methods for Components and Objects

  • Verlag: Springer
  • ISBN: 978-3-642-40614-0 (Buch)
  • Erscheinungstermin: 26.08.2013
  • Lieferzeit ca. 10 Werktage
49,22 € (inkl. MwSt.) 46,00 € (zzgl. MwSt.)
Veanes / Vigano

Tests and Proofs  

Tests and Proofs
49,22 € (inkl. MwSt.) 46,00 € (zzgl. MwSt.)
Veanes / Vigano

Tests and Proofs

  • Verlag: Springer
  • ISBN: 978-3-642-38915-3 (Buch)
  • Erscheinungstermin: 07.06.2013
  • Lieferzeit ca. 10 Werktage
49,22 € (inkl. MwSt.) 46,00 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach