Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

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

Über Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783319340951
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 261
  • Veröffentlicht:
  • 12. Juni 2016
  • Ausgabe:
  • 12016
  • Abmessungen:
  • 155x235x14 mm.
  • Gewicht:
  • 4161 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Beschreibung von Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016.

Kund*innenbewertungen von Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems



Ähnliche Bücher finden
Das Buch Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.