Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Laure Petrucci (u. a.) | Critical Systems: Formal Methods and Automated...

Ø 0.0

0 Bewertungen

49,95 €

Titel: Critical Systems: Formal Methods and Automated Verification | Zusatz: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings | Medium: Taschenbuch | Redaktion: Laure Petrucci (u. a.) | Einband: Kartoniert / Broschiert | Inhalt: xiv / 235 S. / 52 s/w Illustr. / 235 p. 52 illus. | Auflage: 1st edition 2017 | Sprache: Englisch | Seiten: 252 | Maße: 235 x 155 x 14 mm | Erschienen: 25.08.2017 | Anbieter: Faboplay.

Jetzt bei Ebay:

Zum Angebot *

Buchtitel:

Critical Systems: Formal Methods and Automated Verification
Autor:

Laure Petrucci
Sprache:

Englisch
Erscheinungsjahr:

2017
Anzahl der Seiten:

252
Marke:

Springer Nature Switzerland, Springer International Publishing
Hersteller:

Springer Nature Switzerland, Springer International Publishing
Herstellernummer:

978-3-319-67112-3
Verlag:

Springer Nature Switzerland, Springer International Publishing
Format:

Taschenbuch
Genre:

Mathematik, Naturwissenschaften, Technik, Medizin
Ausgabe:

1st edition 2017
Titelzusatz:

Joint 22nd International Workshop on Formal Methods for Industria
Schlagworte:

Programmiersprachen, Wissensbasierte Systeme, Expertensysteme, In
Redaktion:

Laure Petrucci
Herstellungsland und -region:

Deutschland
ISBN:

331967112X

Standardversand:

DHL Paket 2,95 EUR - Lieferung zwischen 19. May 2025 und 21. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere

Laure Petrucci (u. a.) | Critical Systems: Formal Methods and Automated...

Critical Systems: Formal Methods and Automated Verification Laure Petrucci

Maurice H. Ter Beek (u. a.) | Critical Systems: Formal Methods and Automated...

Formal Methods and Hybrid Real-Time Systems Cliff B. Jones (u. a.) Taschenbuch

Formal Methods for Industrial Critical Systems Ralf Pinger (u. a.) Taschenbuch

Formal Methods for Industrial Critical Systems Matthias Güdemann (u. a.) Buch

Matthias Güdemann (u. a.) | Formal Methods for Industrial Critical Systems | xvi

Formal Methods in Software and Systems Modeling Hans-Jörg Kreowski (u. a.) Buch

Charles Pecheur (u. a.) | Formal Methods for Industrial Critical Systems | Buch

María Alpuente (u. a.) | Formal Methods for Industrial Critical Systems | Buch

Formal Methods for Industrial Critical Systems Alessandro Fantechi

Pedro Merino (u. a.) | Formal Methods for Industrial Critical Systems | Buch | x

Writers and Readers in medieval Italy Armando Petrucci 1995

Chris Sennett (u. a.) | Formal Methods in Systems Engineering | Taschenbuch | xi

Formal Methods for Industrial Critical Systems: 26th International Conference, F

Hans-Jörg Kreowski (u. a.) | Formal Methods in Software and Systems Modeling

Laura Titolo (u. a.) | Formal Methods for Industrial Critical Systems | Buch | x

Steve Schneider (u. a.) | Integrated Formal Methods | Taschenbuch | Englisch

Marco Bernardo (u. a.) | Formal Methods for Executable Software Models | Buch

Industrial Deployment of System Engineering Methods Martyn Thomas (u. a.) Buch x

Petrucci's General Chemistry: Modern Principles and Applications, Ralph Petrucci

Laure Petrucci (u. a.) | Critical Systems: Formal Methods and Automated...

Ähnliche Artikel

Critical Systems: Formal Methods and Automated Verification Laure Petrucci

Maurice H. Ter Beek (u. a.) | Critical Systems: Formal Methods and Automated...

Formal Methods and Hybrid Real-Time Systems Cliff B. Jones (u. a.) Taschenbuch

Formal Methods for Industrial Critical Systems Ralf Pinger (u. a.) Taschenbuch

Formal Methods for Industrial Critical Systems Matthias Güdemann (u. a.) Buch

Matthias Güdemann (u. a.) | Formal Methods for Industrial Critical Systems | xvi

Formal Methods in Software and Systems Modeling Hans-Jörg Kreowski (u. a.) Buch

Charles Pecheur (u. a.) | Formal Methods for Industrial Critical Systems | Buch

María Alpuente (u. a.) | Formal Methods for Industrial Critical Systems | Buch

Formal Methods for Industrial Critical Systems Alessandro Fantechi

Pedro Merino (u. a.) | Formal Methods for Industrial Critical Systems | Buch | x

Writers and Readers in medieval Italy Armando Petrucci 1995

Chris Sennett (u. a.) | Formal Methods in Systems Engineering | Taschenbuch | xi

Formal Methods for Industrial Critical Systems: 26th International Conference, F

Hans-Jörg Kreowski (u. a.) | Formal Methods in Software and Systems Modeling

Laura Titolo (u. a.) | Formal Methods for Industrial Critical Systems | Buch | x

Steve Schneider (u. a.) | Integrated Formal Methods | Taschenbuch | Englisch

Marco Bernardo (u. a.) | Formal Methods for Executable Software Models | Buch

Industrial Deployment of System Engineering Methods Martyn Thomas (u. a.) Buch x

Petrucci's General Chemistry: Modern Principles and Applications, Ralph Petrucci

Cookie Hinweis