Seite 9 von 15
Anzahl pro Seite
Sortiert nach
Produkte: 150 Seite 9 von 15 Filter
Guelfi / Savidis

Rapid Integration of Software Engineering Techniques  

Rapid Integration of Software Engineering Techniques
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-34063-8 (Buch)
  • Erscheinungstermin: 16.05.2006
  • 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.)
Peña / van Eekelen / Shkaravska

Foundational and Practical Aspects of Resource Analysis  

Foundational and Practical Aspects of Resource Analysis
49,22 € (inkl. MwSt.) 46,00 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-32494-9 (Buch)
  • Erscheinungstermin: 13.07.2012
  • Lieferzeit ca. 10 Werktage
49,22 € (inkl. MwSt.) 46,00 € (zzgl. MwSt.)
Liblit

Cooperative Bug Isolation  

Cooperative Bug Isolation
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-71877-2 (Buch)
  • Erscheinungstermin: 25.04.2007
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Julliand / Kouchnarenko

B 2007: Formal Specification and Development in B  

B 2007: Formal Specification and Development in B
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-68760-3 (Buch)
  • Erscheinungstermin: 14.12.2006
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kühn / Pugliese

Coordination Models and Languages  

Coordination Models and Languages
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-662-43375-1 (Buch)
  • Erscheinungstermin: 24.07.2014
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Seidl / Tillmann

Tests and Proofs  

Tests and Proofs
51,36 € (inkl. MwSt.) 48,00 € (zzgl. MwSt.)
Seidl / Tillmann

Tests and Proofs

  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-319-09098-6 (Buch)
  • Erscheinungstermin: 04.08.2014
  • Lieferzeit ca. 10 Werktage
51,36 € (inkl. MwSt.) 48,00 € (zzgl. MwSt.)
Shankar / Woodcock

Verified Software: Theories, Tools, Experiments  

Verified Software: Theories, Tools, Experiments
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-87872-8 (Buch)
  • Erscheinungstermin: 22.09.2008
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bartocci / Falcone

Lectures on Runtime Verification  

Lectures on Runtime Verification
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-319-75631-8 (Buch)
  • Erscheinungstermin: 11.02.2018
  • Lieferzeit ca. 10 Werktage
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach