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: 28-10-2026 06:11:53
Siehe Produktangebot

Allgemein

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

Eigenschaften

Ähnliche Produkte

Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings (Lecture Notes in Computer Science)
Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings (Lecture Notes in Computer Science)
Aus51.14 EUR 4
Produkt anzeigen
Formal Methods for Multicore Programming
Formal Methods for Multicore Programming
Aus51.36 EUR 3
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
Aus85.24 EUR 3
Produkt anzeigen
Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Lecture Notes in Computer Science)
Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Lecture Notes in Computer Science)
Aus51.36 EUR 3
Produkt anzeigen
Formal Methods for Nonmonotonic and Related Logics: Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Formal Methods for Nonmonotonic and Related Logics: Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Aus97.98 EUR 3
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)
Aus174.44 EUR 2
Produkt anzeigen
Menü