Produktbild: Formal Techniques for Distributed Objects, Components, and Systems
Band 9039

Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.05.2015

Abbildungen

XII, 47 illus., schwarz-weiss Illustrationen

Herausgeber

Susanne Graf + weitere

Verlag

Springer

Seitenzahl

245

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

400 g

Auflage

2015

Sprache

Englisch

ISBN

978-3-319-19194-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.05.2015

Abbildungen

XII, 47 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

245

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

400 g

Auflage

2015

Sprache

Englisch

ISBN

978-3-319-19194-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Formal Techniques for Distributed Objects, Components, and Systems
  • Ensuring Properties of Distributed Systems.- Formal Models of Concurrent and Distributed Systems.- Real Time Systems.- Security.- Efficient Verification Techniques.