Formal Methods for Dynamical Systems

Ein kompakter Überblick über die Anwendung formaler Techniken zur Analyse und zum Entwurf dynamischer Systeme, der mathematische Grundlagen, Modelli ...
Formal Methods for
Wo zu kaufen (2) Eigenschaften
Gesponsert
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... Lectures (Lecture Notes in Computer Science)
Medimops DE
49.22 EUR
Preis aktualisiert am: 07-09-2026 06:08:23
Siehe Produktangebot
Gesponsert
Formal Methods for Dynamical Systems
SpringerLink DE
54.50 EUR
Preis aktualisiert am: 07-09-2026 11:13:42
Siehe Produktangebot

Allgemein

Marke
Marco Bernardo
MPN
Marco Bernardo 49 black & white illustrations, biograph
ISBN
Marco Bernardo 9783642388736

Eigenschaften

Ähnliche Produkte

Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control, Band 89)
Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control, Band 89)
Produkt anzeigen
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Notes in Computer Science, 3465, Band 3465)
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Notes in Computer Science, 3465, Band 3465)
Produkt anzeigen
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Notes in Computer Science, 4486, Band 4486)
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Notes in Computer Science, 4486, Band 4486)
Produkt anzeigen
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Produkt anzeigen
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Lecture Notes in Computer Science, Band 11687)
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Lecture Notes in Computer Science, Band 11687)
Produkt anzeigen
Formal Methods for Components and Objects
Formal Methods for Components and Objects
Produkt anzeigen
Menü