Seite 1 von 2
Anzahl pro Seite
Sortiert nach
Produkte: 23 Seite 1 von 2 Filter
Ahrendt / Wehrheim

Tests and Proofs  

Tests and Proofs
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Ahrendt / Wehrheim

Tests and Proofs

  • Verlag: Springer
  • ISBN: 978-3-030-50994-1 (Buch)
  • Erscheinungstermin: 20.06.2020
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bouajjani / Chin

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-15642-7 (Buch)
  • Erscheinungstermin: 03.09.2010
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Barthe

Formal Methods for Open Object-Based Distributed Systems  

Formal Methods for Open Object-Based Distributed Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-68862-4 (Buch)
  • Erscheinungstermin: 29.05.2008
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Cuellar / Maibaum

FM 2008: Formal Methods  

FM 2008: Formal Methods
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Cuellar / Maibaum

FM 2008: Formal Methods

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-68235-6 (Buch)
  • Erscheinungstermin: 08.05.2008
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Sokolsky / Tasiran

Runtime Verification  

Runtime Verification
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Sokolsky / Tasiran

Runtime Verification

  • Verlag: Springer
  • ISBN: 978-3-540-77394-8 (Buch)
  • Erscheinungstermin: 12.12.2007
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Vitek

Objects, Models, Components, Patterns  

Objects, Models, Components, Patterns
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-13952-9 (Buch)
  • Erscheinungstermin: 17.06.2010
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Heineman / Kofron / Plasil

Research into Practice - Reality and Gaps  

Research into Practice - Reality and Gaps
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-13820-1 (Buch)
  • Erscheinungstermin: 17.06.2010
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Münch / Yang / Schäfer

New Modeling Concepts for Today's Software Processes  

New Modeling Concepts for Today's Software Processes
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-14346-5 (Buch)
  • Erscheinungstermin: 30.06.2010
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Real / Vardanega

Reliable Software Technologies - Ada-Europe 2010  

Reliable Software Technologies - Ada-Europe 2010
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-13549-1 (Buch)
  • Erscheinungstermin: 01.06.2010
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Hu

Programming Languages and Systems  

Programming Languages and Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-10671-2 (Buch)
  • Erscheinungstermin: 24.11.2009
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)