Seite 2 von 15
Anzahl pro Seite
Sortiert nach
Produkte: 153 Seite 2 von 15 Filter
Namjoshi / Okamura / Yoneda

Automated Technology for Verification and Analysis  

Automated Technology for Verification and Analysis
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-75595-1 (Buch)
  • Erscheinungstermin: 09.10.2007
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Lalanne / Kohlas

Human Machine Interaction  

Human Machine Interaction
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-00436-0 (Buch)
  • Erscheinungstermin: 26.03.2009
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Furia / Nanz

Object, Models, Components, Patterns  

Object, Models, Components, Patterns
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-30560-3 (Buch)
  • Erscheinungstermin: 11.05.2012
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bernardo / Wiklicky / de Vink

Formal Methods for Dynamical Systems  

Formal Methods for Dynamical Systems
49,22 € (inkl. MwSt.) 46,00 € (zzgl. MwSt.)
Bernardo / Wiklicky / de Vink

Formal Methods for Dynamical Systems

  • Verlag: Springer
  • ISBN: 978-3-642-38873-6 (Buch)
  • Erscheinungstermin: 07.06.2013
  • Lieferzeit ca. 10 Werktage
49,22 € (inkl. MwSt.) 46,00 € (zzgl. MwSt.)
Gabbrielli / Gupta

Logic Programming  

Logic Programming
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Gabbrielli / Gupta

Logic Programming

  • Verlag: Springer
  • ISBN: 978-3-540-29208-1 (Buch)
  • Erscheinungstermin: 19.09.2005
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Ölveczky / Bae

Formal Aspects of Component Software  

Formal Aspects of Component Software
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer International Publishing
  • ISBN: 978-3-030-02145-0 (Buch)
  • Erscheinungstermin: 07.10.2018
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Hudak / Warren

Practical Aspects of Declarative Languages  

Practical Aspects of Declarative Languages
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-77441-9 (Buch)
  • Erscheinungstermin: 18.12.2007
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Piterman

Hardware and Software: Verification and Testing  

Hardware and Software: Verification and Testing
51,36 € (inkl. MwSt.) 48,00 € (zzgl. MwSt.)
  • Verlag: Springer International Publishing
  • ISBN: 978-3-319-26286-4 (Buch)
  • Erscheinungstermin: 27.10.2015
  • Lieferzeit ca. 10 Werktage
51,36 € (inkl. MwSt.) 48,00 € (zzgl. MwSt.)
Sun / Groves

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.)
Carbone / Petit

Web Services and Formal Methods  

Web Services and Formal Methods
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-29833-2 (Buch)
  • Erscheinungstermin: 23.04.2012
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach