Seite 1 von 2
Anzahl pro Seite
Sortiert nach
Produkte: 21 Seite 1 von 2 Filter
Raschke / Riccobene / Schewe

Logic, Computation and Rigorous Methods  

Logic, Computation and Rigorous Methods
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Raschke / Riccobene / Schewe

Logic, Computation and Rigorous Methods

  • Verlag: Springer
  • ISBN: 978-3-030-76019-9 (Buch)
  • Erscheinungstermin: 04.06.2021
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Goodloe / Person

NASA Formal Methods  

NASA Formal Methods
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Goodloe / Person

NASA Formal Methods

  • Verlag: Springer
  • ISBN: 978-3-642-28890-6 (Buch)
  • Erscheinungstermin: 27.03.2012
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Sericola / Miklós / Horváth

Analytical and Stochastic Modelling Techniques and Applications  

Analytical and Stochastic Modelling Techniques and Applications
51,36 € (inkl. MwSt.) 48,00 € (zzgl. MwSt.)
  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-319-08218-9 (Buch)
  • Erscheinungstermin: 05.08.2014
  • Lieferzeit ca. 10 Werktage
51,36 € (inkl. MwSt.) 48,00 € (zzgl. MwSt.)
Müller-Olm

Variations on Constants  

Variations on Constants
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-45385-7 (Buch)
  • Erscheinungstermin: 02.10.2006
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Treharne / King / Henson

ZB 2005: Formal Specification and Development in Z and B  

ZB 2005: Formal Specification and Development in Z and B
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-25559-8 (Buch)
  • Erscheinungstermin: 07.04.2005
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
de Lemos / Fabre / Gacek

Architecting Dependable Systems VI  

Architecting Dependable Systems VI
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
de Lemos / Fabre / Gacek

Architecting Dependable Systems VI

  • Verlag: Springer
  • ISBN: 978-3-642-10247-9 (Buch)
  • Erscheinungstermin: 02.11.2009
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Rausch / Reussner / Mirandola

The Common Component Modeling Example  

The Common Component Modeling Example
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Rausch / Reussner / Mirandola

The Common Component Modeling Example

  • Verlag: Springer
  • ISBN: 978-3-540-85288-9 (Buch)
  • Erscheinungstermin: 26.08.2008
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Eigenmann / de Supinski

OpenMP in a New Era of Parallelism  

OpenMP in a New Era of Parallelism
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Eigenmann / de Supinski

OpenMP in a New Era of Parallelism

  • Verlag: Springer
  • ISBN: 978-3-540-79560-5 (Buch)
  • Erscheinungstermin: 25.04.2008
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Leucker

Runtime Verification  

Runtime Verification
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-89246-5 (Buch)
  • Erscheinungstermin: 23.10.2008
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Larsen / Sokolsky / Wang

Dependable Software Engineering. Theories, Tools, and Applications  

Dependable Software Engineering. Theories, Tools, and Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Nature Switzerland
  • ISBN: 978-3-319-69482-5 (Buch)
  • Erscheinungstermin: 17.10.2017
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach