Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Dieses Werk eröffnet einen praxisorientierten Blick auf formale Verfahren zur quantitativen Analyse kollektiver adaptiver Systeme und verknüpft dabe ...
Formal Methods for the
Wo zu kaufen (2) Eigenschaften
Gesponsert
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, Fachbücher von Marco Bernardo, Rocco De Nicola, Jane Hillston
Galaxus.de
53.49 EUR
Preis aktualisiert am: 29-07-2026 01:49:29
Siehe Produktangebot
Gesponsert
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
SpringerLink DE
54.99 EUR
Preis aktualisiert am: 02-08-2026 14:54:01
Siehe Produktangebot

Allgemein

Marke
Marco Bernardo
ISBN
Marco Bernardo 3319340956

Eigenschaften

Ähnliche Produkte

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 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 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 Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software ... Notes in Computer Science, 2804, Band 2804)
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software ... Notes in Computer Science, 2804, Band 2804)
Produkt anzeigen
Formal Methods for Quantitative Aspects of Programming Languages
Formal Methods for Quantitative Aspects of Programming Languages
Produkt anzeigen
Formal Methods in the Methodology of Empirical Sciences
Formal Methods in the Methodology of Empirical Sciences
Produkt anzeigen
Menü