Produktbild: Formal Methods for Multicore Programming
Band 9104

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.05.2015

Abbildungen

VII, 72 illus., schwarz-weiss Illustrationen

Herausgeber

Marco Bernardo + weitere

Verlag

Springer

Seitenzahl

211

Maße (L/B/H)

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

Gewicht

3401 g

Auflage

2015

Sprache

Englisch

ISBN

978-3-319-18940-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.05.2015

Abbildungen

VII, 72 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

211

Maße (L/B/H)

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

Gewicht

3401 g

Auflage

2015

Sprache

Englisch

ISBN

978-3-319-18940-6

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 Methods for Multicore Programming
  • Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore.- Coordinating Multicore Computing.- Modeling of Architectures.- A Gentle Introduction to Multiparty Asynchronous Session Types.- Refined Ownership: Fine-Grained Controlled Internal Sharing.