Seite 28 von 42
Anzahl pro Seite
Sortiert nach
Produkte: 424 Seite 28 von 42 Filter
Lluch Lafuente / Mavridou

Formal Methods for Industrial Critical Systems  

Formal Methods for Industrial Critical Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Nature Switzerland
  • ISBN: 978-3-030-85247-4 (Buch)
  • Erscheinungstermin: 10.08.2021
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Qin / Woodcock / Zhang

Dependable Software Engineering. Theories, Tools, and Applications  

Dependable Software Engineering. Theories, Tools, and Applications
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
  • Verlag: Springer International Publishing
  • ISBN: 978-3-030-91264-2 (Buch)
  • Erscheinungstermin: 14.11.2021
  • Lieferzeit ca. 10 Werktage
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
Bhalachandra / Daley / Melesse Vergara

Accelerator Programming Using Directives  

Accelerator Programming Using Directives
58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)
Bhalachandra / Daley / Melesse Vergara

Accelerator Programming Using Directives

  • Verlag: Springer
  • ISBN: 978-3-030-97758-0 (Buch)
  • Erscheinungstermin: 15.05.2022
  • Lieferzeit ca. 10 Werktage
58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)
Aoki / Taguchi

Formal Methods and Software Engineering  

Formal Methods and Software Engineering
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-34280-6 (Buch)
  • Erscheinungstermin: 19.09.2012
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Cámara / de Lemos / Ghezzi

Assurances for Self-Adaptive Systems  

Assurances for Self-Adaptive Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Cámara / de Lemos / Ghezzi

Assurances for Self-Adaptive Systems

  • Verlag: Springer
  • ISBN: 978-3-642-36248-4 (Buch)
  • Erscheinungstermin: 09.01.2013
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Achten / Koopman

The Beauty of Functional Code  

The Beauty of Functional Code
49,22 € (inkl. MwSt.) 46,00 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-40354-5 (Buch)
  • Erscheinungstermin: 13.09.2013
  • Lieferzeit ca. 10 Werktage
49,22 € (inkl. MwSt.) 46,00 € (zzgl. MwSt.)
Albert / Lanese

Formal Techniques for Distributed Objects, Components, and Systems  

Formal Techniques for Distributed Objects, Components, and Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-319-39569-2 (Buch)
  • Erscheinungstermin: 27.06.2016
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Casimiro / Ferreira

Reliable Software Technologies - Ada-Europe 2018  

Reliable Software Technologies - Ada-Europe 2018
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-319-92431-1 (Buch)
  • Erscheinungstermin: 26.05.2018
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Malizia / Valtolina / Morch

End-User Development  

End-User Development
62,05 € (inkl. MwSt.) 57,99 € (zzgl. MwSt.)
Malizia / Valtolina / Morch

End-User Development

  • Verlag: Springer International Publishing
  • ISBN: 978-3-030-24780-5 (Buch)
  • Erscheinungstermin: 03.07.2019
  • Lieferzeit ca. 10 Werktage
62,05 € (inkl. MwSt.) 57,99 € (zzgl. MwSt.)
Beckert / Hähnle

Tests and Proofs  

Tests and Proofs
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Beckert / Hähnle

Tests and Proofs

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-79123-2 (Buch)
  • Erscheinungstermin: 31.03.2008
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach