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 7 von 15
Anzahl pro Seite
Sortiert nach
Produkte: 150 Seite 7 von 15 Filter
Anzahl Produkte: 150 Programming and Software Engineering Logik, formale Sprachen, Automaten
Malenfant / Østvold

Object-Oriented Technology. ECOOP 2004 Workshop Reader  

Object-Oriented Technology. ECOOP 2004 Workshop Reader
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Malenfant / Østvold

Object-Oriented Technology. ECOOP 2004 Workshop Reader

  • Verlag: Springer
  • ISBN: 978-3-540-23988-8 (Buch)
  • Erscheinungstermin: 24.01.2005
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Ábrahám / Huisman

Integrated Formal Methods  

Integrated Formal Methods
85,59 € (inkl. MwSt.) 79,99 € (zzgl. MwSt.)
Ábrahám / Huisman

Integrated Formal Methods

  • Verlag: Springer
  • ISBN: 978-3-319-33692-3 (Buch)
  • Erscheinungstermin: 24.05.2016
  • Lieferzeit ca. 10 Werktage
85,59 € (inkl. MwSt.) 79,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Ribeiro / Lecomte

Formal Methods: Foundations and Applications  

Formal Methods: Foundations and Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Ribeiro / Lecomte

Formal Methods: Foundations and Applications

  • Verlag: Springer
  • ISBN: 978-3-319-49814-0 (Buch)
  • Erscheinungstermin: 13.11.2016
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
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
Filter
Anzahl pro Seite
Sortiert nach

Unterthema 3

Verfügbarkeit