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

Formal Methods for Industrial Critical Systems  

Formal Methods for Industrial Critical Systems
49,22 € (inkl. MwSt.) 46,00 € (zzgl. MwSt.)
Dierkes / Pecheur

Formal Methods for Industrial Critical Systems

  • Verlag: Springer
  • ISBN: 978-3-642-41009-3 (Buch)
  • Erscheinungstermin: 13.09.2013
  • Lieferzeit ca. 10 Werktage
49,22 € (inkl. MwSt.) 46,00 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Bianculli / Calinescu / Rumpe

Software Engineering and Formal Methods  

Software Engineering and Formal Methods
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bianculli / Calinescu / Rumpe

Software Engineering and Formal Methods

  • Verlag: Springer
  • ISBN: 978-3-662-49223-9 (Buch)
  • Erscheinungstermin: 03.02.2016
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Romijn / Smith / van de Pol

Integrated Formal Methods  

Integrated Formal Methods
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Romijn / Smith / van de Pol

Integrated Formal Methods

  • Verlag: Springer
  • ISBN: 978-3-540-30492-0 (Buch)
  • Erscheinungstermin: 24.11.2005
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Padgham / Zambonelli

Agent-Oriented Software Engineering VII  

Agent-Oriented Software Engineering VII
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Padgham / Zambonelli

Agent-Oriented Software Engineering VII

  • Verlag: Springer
  • ISBN: 978-3-540-70944-2 (Buch)
  • Erscheinungstermin: 09.02.2007
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Barthe

Formal Methods for Open Object-Based Distributed Systems  

Formal Methods for Open Object-Based Distributed Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Barthe

Formal Methods for Open Object-Based Distributed Systems

  • Verlag: Springer
  • ISBN: 978-3-540-68862-4 (Buch)
  • Erscheinungstermin: 29.05.2008
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Hanus

Practical Aspects of Declarative Languages  

Practical Aspects of Declarative Languages
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Hanus

Practical Aspects of Declarative Languages

  • Verlag: Springer
  • ISBN: 978-3-540-69608-7 (Buch)
  • Erscheinungstermin: 22.12.2006
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Cuellar / Maibaum

FM 2008: Formal Methods  

FM 2008: Formal Methods
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Cuellar / Maibaum

FM 2008: Formal Methods

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-68235-6 (Buch)
  • Erscheinungstermin: 08.05.2008
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Broy / Jonsson / Katoen

Model-Based Testing of Reactive Systems  

Model-Based Testing of Reactive Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Broy / Jonsson / Katoen

Model-Based Testing of Reactive Systems

  • Verlag: Springer
  • ISBN: 978-3-540-26278-7 (Buch)
  • Erscheinungstermin: 27.06.2005
  • Sofort verfügbar
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Paliouras / Vounckx / Verkest

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation  

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Paliouras / Vounckx / Verkest

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation

  • Verlag: Springer
  • ISBN: 978-3-540-29013-1 (Buch)
  • Erscheinungstermin: 06.09.2005
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Fantechi / Lecomte / Romanovsky

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification  

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Fantechi / Lecomte / Romanovsky

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

  • Verlag: Springer Nature Switzerland
  • ISBN: 978-3-319-68498-7 (Buch)
  • Erscheinungstermin: 20.10.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