Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control)

Ein umfassendes Werk über formale Techniken zur Analyse diskreter Zeitdynamik, das auf 267 Seiten theoretische Konzepte mit konkreten Anwendungsbeisp ...
Wo zu kaufen (2) Eigenschaften
Gesponsert
Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control)
Medimops DE
173.34 EUR
Preis aktualisiert am: 11-06-2026 17:35:21
Siehe Produktangebot
Gesponsert
Formal Methods for Discrete-Time Dynamical Systems
SpringerLink DE
181.89 EUR
Preis aktualisiert am: 11-06-2026 10:20:09
Siehe Produktangebot

Allgemein

Marke
Springer-Verlag GmbH
MPN
Springer-Verlag GmbH 27993798
ISBN
Springer-Verlag GmbH 3319507621

Eigenschaften

Ähnliche Produkte

Formal Methods for Safety and Security
Formal Methods for Safety and Security
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 Nonmonotonic and Related Logics: Vol I: Preference and Size
Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size
Produkt anzeigen
Formal Methods for Safety and Security
Formal Methods for Safety and Security
Produkt anzeigen
Formal Methods for Quantitative Aspects of Programming Languages
Formal Methods for Quantitative Aspects of Programming Languages
Produkt anzeigen
Formal Foundations for Software Engineering Methods (Lecture Notes in Computer Science)
Formal Foundations for Software Engineering Methods (Lecture Notes in Computer Science)
Produkt anzeigen
Menü