Seite 2 von 15
Anzahl pro Seite
Sortiert nach
Produkte: 150 Seite 2 von 15 Filter
Sekerinski / Moreira / Oliveira

Formal Methods. FM 2019 International Workshops  

Formal Methods. FM 2019 International Workshops
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Birkhäuser
  • ISBN: 978-3-030-54996-1 (Buch)
  • Erscheinungstermin: 11.08.2020
  • 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: Palgrave Macmillan
  • ISBN: 978-3-319-26286-4 (Buch)
  • Erscheinungstermin: 27.10.2015
  • Lieferzeit ca. 10 Werktage
51,36 € (inkl. MwSt.) 48,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.)
Furia / Winter

Integrated Formal Methods  

Integrated Formal Methods
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-319-98937-2 (Buch)
  • Erscheinungstermin: 09.08.2018
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Sloane / Aßmann

Software Language Engineering  

Software Language Engineering
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-28829-6 (Buch)
  • Erscheinungstermin: 11.04.2012
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Hierons / Merayo / Bravetti

Software Engineering and Formal Methods  

Software Engineering and Formal Methods
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Hierons / Merayo / Bravetti

Software Engineering and Formal Methods

  • Verlag: Springer
  • ISBN: 978-3-642-40560-0 (Buch)
  • Erscheinungstermin: 12.09.2013
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bin / Ziv / Ur

Hardware and Software, Verification and Testing  

Hardware and Software, Verification and Testing
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-70888-9 (Buch)
  • Erscheinungstermin: 09.02.2007
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Apel / Jackson

Software Composition  

Software Composition
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Apel / Jackson

Software Composition

  • Verlag: Springer
  • ISBN: 978-3-642-22044-9 (Buch)
  • Erscheinungstermin: 22.06.2011
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bernardo / De Nicola / Hillston

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems  

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-319-34095-1 (Buch)
  • Erscheinungstermin: 12.06.2016
  • 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.)
Filter
Anzahl pro Seite
Sortiert nach