Seite 1 von 1
Anzahl pro Seite
Sortiert nach
Produkte: 10 Seite 1 von 1 Filter
Woodcock / Oliveira

Formal Methods: Foundations and Applications  

Formal Methods: Foundations and Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-10451-0 (Buch)
  • Erscheinungstermin: 09.11.2009
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Ravn / Liu

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-04760-2 (Buch)
  • Erscheinungstermin: 29.09.2009
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Cavalcanti / Dams

FM 2009: Formal Methods  

FM 2009: Formal Methods
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Cavalcanti / Dams

FM 2009: Formal Methods

  • Verlag: Springer
  • ISBN: 978-3-642-05088-6 (Buch)
  • Erscheinungstermin: 26.10.2009
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Lastovetsky / Dongarra / Kechadi

Recent Advances in Parallel Virtual Machine and Message Passing Interface  

Recent Advances in Parallel Virtual Machine and Message Passing Interface
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-87474-4 (Buch)
  • Erscheinungstermin: 28.08.2008
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Larsen / Wang / Sokolsky

Dependable Software Engineering. Theories, Tools, and Applications  

Dependable Software Engineering. Theories, Tools, and Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer International Publishing
  • ISBN: 978-3-319-69482-5 (Buch)
  • Erscheinungstermin: 17.10.2017
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Al-Begain / Fiems / Knottenbelt

Analytical and Stochastic Modeling Techniques and Applications  

Analytical and Stochastic Modeling Techniques and Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-13567-5 (Buch)
  • Erscheinungstermin: 01.06.2010
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Najm / Pradat-Peyre / Donzeau-Gouge

Formal Techniques for Networked and Distributed Systems - FORTE 2006  

Formal Techniques for Networked and Distributed Systems - FORTE 2006
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-46219-4 (Buch)
  • Erscheinungstermin: 27.09.2006
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Cavalcanti / Breitman

Formal Methods and Software Engineering  

Formal Methods and Software Engineering
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-10372-8 (Buch)
  • Erscheinungstermin: 17.11.2009
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Al-Begain / Horváth / Fiems

Analytical and Stochastic Modeling Techniques and Applications  

Analytical and Stochastic Modeling Techniques and Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-02204-3 (Buch)
  • Erscheinungstermin: 25.05.2009
  • 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.)
  • |
  • 1
  • |
Filter
Anzahl pro Seite
Sortiert nach