Gutscheinbedingungen

**Gültig vom 24.08.2026 bis 26.08.2026 | Gültig für nicht preisgebundene fremdsprachige Bücher | Einzelne Artikel können ausgeschlossen sein | Online auf www.bücher.de einlösbar | Click & Collect nur mit Online-Zahlung (Paypal/Kreditkarte) vorab | Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen | Nur einmal pro Einkauf einlösbar | Gutschein wird auf max. 500€ Bestellwert angerechnet | Keine Barauszahlung | Nicht gültig für Versandkosten und Services

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

48,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.05.2015

Abbildungen

VII, 211 p. 72 illus.

Herausgeber

Marco Bernardo + weitere

Verlag

Springer

Seitenzahl

211

Maße (L/B/H)

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

Gewicht

341 g

Sprache

Englisch

ISBN

978-3-319-18940-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.05.2015

Abbildungen

VII, 211 p. 72 illus.

Herausgeber

Verlag

Springer

Seitenzahl

211

Maße (L/B/H)

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

Gewicht

341 g

Sprache

Englisch

ISBN

978-3-319-18940-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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.