Abbildung von: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - Springer

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Springer (Verlag)
Erschienen am 10. Juni 2016
VII, 261 Seiten
E-Book
PDF mit Wasserzeichen-DRM
978-3-319-34096-8 (ISBN)
53,49 €inkl. 7% MwSt.
Systemvoraussetzungen
für PDF mit Wasserzeichen-DRM
E-Book Einzellizenz
Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Personen

Inhalt

Systemvoraussetzungen