Formal Methods for Quantitative Aspects of Programming Languages

Formal Methods for Methods for Quantitative Formal Methods for Quantitative
Wo zu kaufen (1) Eigenschaften
Gesponsert
Formal Methods for Quantitative Aspects of Programming Languages
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 11-06-2026 10:26:34
Siehe Produktangebot

Allgemein

Marke
Springer-Verlag GmbH
ISBN
Springer-Verlag GmbH 364213677X
MPN
Springer-Verlag GmbH Illustrations

Eigenschaften

Ähnliche Produkte

Formal Methods for Multicore Programming
Formal Methods for Multicore Programming
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 Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control)
Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control)
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 Foundations for Software Engineering Methods (Lecture Notes in Computer Science)
Formal Foundations for Software Engineering Methods (Lecture Notes in Computer Science)
Produkt anzeigen
Menü