fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

 Seite 13 von 15
Anzahl pro Seite
Sortiert nach
Produkte: 150 Seite 13 von 15 Filter
Anzahl Produkte: 150 Programming and Software Engineering Logik, formale Sprachen, Automaten
Devitt / Lanese

Reversible Computation  

Reversible Computation
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Devitt / Lanese

Reversible Computation

  • Verlag: Springer
  • ISBN: 978-3-319-40577-3 (Buch)
  • Erscheinungstermin: 30.06.2016
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Castor / Liu

Programming Languages  

Programming Languages
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Castor / Liu

Programming Languages

  • Verlag: Springer
  • ISBN: 978-3-319-45278-4 (Buch)
  • Erscheinungstermin: 18.09.2016
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Dutle / Muñoz / Narkawicz

NASA Formal Methods  

NASA Formal Methods
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Dutle / Muñoz / Narkawicz

NASA Formal Methods

  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-319-77934-8 (Buch)
  • Erscheinungstermin: 11.03.2018
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Meyer / Woodcock

Verified Software: Theories, Tools, Experiments  

Verified Software: Theories, Tools, Experiments
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Meyer / Woodcock

Verified Software: Theories, Tools, Experiments

  • Verlag: Springer
  • ISBN: 978-3-540-69147-1 (Buch)
  • Erscheinungstermin: 07.07.2008
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Barbosa / Lumpe

Formal Aspects of Component Software  

Formal Aspects of Component Software
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Barbosa / Lumpe

Formal Aspects of Component Software

  • Verlag: Springer
  • ISBN: 978-3-642-27268-4 (Buch)
  • Erscheinungstermin: 09.03.2012
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Salaün / Schätz

Formal Methods for Industrial Critical Systems  

Formal Methods for Industrial Critical Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Salaün / Schätz

Formal Methods for Industrial Critical Systems

  • Verlag: Springer
  • ISBN: 978-3-642-24430-8 (Buch)
  • Erscheinungstermin: 19.09.2011
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Giannakopoulou / Mery

FM 2012: Formal Methods  

FM 2012: Formal Methods
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Giannakopoulou / Mery

FM 2012: Formal Methods

  • Verlag: Springer
  • ISBN: 978-3-642-32758-2 (Buch)
  • Erscheinungstermin: 21.07.2012
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Massoni / Mousavi

Formal Methods: Foundations and Applications  

Formal Methods: Foundations and Applications
62,05 € (inkl. MwSt.) 57,99 € (zzgl. MwSt.)
Massoni / Mousavi

Formal Methods: Foundations and Applications

  • Verlag: Birkhäuser
  • ISBN: 978-3-030-03043-8 (Buch)
  • Erscheinungstermin: 24.10.2018
  • Lieferzeit ca. 10 Werktage
62,05 € (inkl. MwSt.) 57,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Sekerinski / Moreira / Oliveira

Formal Methods. FM 2019 International Workshops  

Formal Methods. FM 2019 International Workshops
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Sekerinski / Moreira / Oliveira

Formal Methods. FM 2019 International Workshops

  • Verlag: Springer International Publishing
  • ISBN: 978-3-030-54993-0 (Buch)
  • Erscheinungstermin: 13.08.2020
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Petrucci / Seceleanu / Cavalcanti

Critical Systems: Formal Methods and Automated Verification  

Critical Systems: Formal Methods and Automated Verification
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Petrucci / Seceleanu / Cavalcanti

Critical Systems: Formal Methods and Automated Verification

  • Verlag: Springer International Publishing
  • ISBN: 978-3-319-67112-3 (Buch)
  • Erscheinungstermin: 25.08.2017
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Filter
Anzahl pro Seite
Sortiert nach

Unterthema 3

Verfügbarkeit