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

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems x

Ø 0.0

0 Bewertungen

51,90 €

Titel: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems | Zusatz: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings | Medium: Taschenbuch | Redaktion: Sergio Yovine (u. a.) | Einband: Kartoniert / Broschiert | Inhalt: x / 402 S. | Auflage: 2004 | Sprache: Englisch | Seiten: 412 | Maße: 235 x 155 x 23 mm | Erschienen: 20.09.2004 | Anbieter: Buchbär.

Jetzt bei Ebay:

Zum Angebot *

Buchtitel:

Formal Techniques, Modelling and Analysis of Timed and Fault-Tole
Autor:

Sergio Yovine
Sprache:

Englisch
Erscheinungsjahr:

2004
Anzahl der Seiten:

412
Marke:

Springer-Verlag GmbH, Springer Berlin Heidelberg
Hersteller:

Springer-Verlag GmbH, Springer Berlin Heidelberg
Herstellernummer:

11324249
Verlag:

Springer-Verlag GmbH, Springer Berlin Heidelberg
Format:

Taschenbuch
Genre:

Mathematik, Naturwissenschaften, Technik, Medizin
Ausgabe:

2004
Titelzusatz:

Joint International Conferences on Formal Modeling and Analysis o
Schlagworte:

Informatik, Wissensbasierte Systeme, Expertensysteme, EDV, Theori
Redaktion:

Sergio Yovine
Herstellungsland und -region:

Deutschland
ISBN:

3540231676

Standardversand:

DHL Paket kostenlos - Lieferung zwischen 13. May 2025 und 14. 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

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems x

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Se

Formal Modeling and Analysis of Timed Systems Frits W. Vaandrager

Formal Modeling and Analysis of Timed Systems Pavithra Prabhakar (u. a.) Buch x

Formal Modeling and Analysis of Timed Systems: 18th International Conference, FO

Nicolas Markey (u. a.) | Formal Modeling and Analysis of Timed Systems | Buch

Formal Modeling and Analysis of Timed Systems Peter Niebert (u. a.) Taschenbuch

Wang Yi (u. a.) | Formal Modeling and Analysis of Timed Systems | Taschenbuch

ENCYCLOPEDIA OF FIGURES MODELLING TECHNIQUES VOL. 1 - COLOUR, SHAPE, AND LIGHT (

Mahsa Shirmohammadi (u. a.) | Formal Modeling and Analysis of Timed Systems | xi

Gilles Geeraerts (u. a.) | Formal Modeling and Analysis of Timed Systems | Buch

Jeremy Sproston (u. a.) | Formal Modeling and Analysis of Timed Systems | Buch

ENCYCLOPEDIA OF FIGURES MODELLING TECHNIQUES VOL. 3 - MODELLING, GENRES AND SPEC

Formal Modeling and Analysis of Timed Systems: 9th International Conference, FOR

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FOR

Judo Formal Techniques: A Basic Guide to Throwing and G - Paperback / softback N

Formal Modeling and Analysis of Timed Systems - 9783031426254

Formal Modeling and Analysis of Timed Systems - 9783031158384

Computer Performance Evaluation Modelling Techniques and Tools Puigjaner (u. a.)

Jan Vytopil | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch

Tony Field (u. a.) | Computer Performance Evaluation: Modelling Techniques...

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems x

Ähnliche Artikel

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Se

Formal Modeling and Analysis of Timed Systems Frits W. Vaandrager

Formal Modeling and Analysis of Timed Systems Pavithra Prabhakar (u. a.) Buch x

Formal Modeling and Analysis of Timed Systems: 18th International Conference, FO

Nicolas Markey (u. a.) | Formal Modeling and Analysis of Timed Systems | Buch

Formal Modeling and Analysis of Timed Systems Peter Niebert (u. a.) Taschenbuch

Wang Yi (u. a.) | Formal Modeling and Analysis of Timed Systems | Taschenbuch

ENCYCLOPEDIA OF FIGURES MODELLING TECHNIQUES VOL. 1 - COLOUR, SHAPE, AND LIGHT (

Mahsa Shirmohammadi (u. a.) | Formal Modeling and Analysis of Timed Systems | xi

Gilles Geeraerts (u. a.) | Formal Modeling and Analysis of Timed Systems | Buch

Jeremy Sproston (u. a.) | Formal Modeling and Analysis of Timed Systems | Buch

ENCYCLOPEDIA OF FIGURES MODELLING TECHNIQUES VOL. 3 - MODELLING, GENRES AND SPEC

Formal Modeling and Analysis of Timed Systems: 9th International Conference, FOR

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FOR

Judo Formal Techniques: A Basic Guide to Throwing and G - Paperback / softback N

Formal Modeling and Analysis of Timed Systems - 9783031426254

Formal Modeling and Analysis of Timed Systems - 9783031158384

Computer Performance Evaluation Modelling Techniques and Tools Puigjaner (u. a.)

Jan Vytopil | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch

Tony Field (u. a.) | Computer Performance Evaluation: Modelling Techniques...

Cookie Hinweis