9783319189406 - Formal Methods for Multicore Programming Kartoniert (TB)

EAN: 9783319189406

Produktdaten aktualisiert am: 24.11.2024
Hersteller: - Hersteller-ArtNr. (MPN): - ASIN: - 
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the
International School on Formal Methods for the Design of Computer  Communication and Software
Systems  SFM 2015  held in Bertinoro  Italy  in June 2015. SFM 2015 was devoted to multicore
programming and covered topics such as concurrency and coordination mechanisms  architecture
and memory models and type systems.

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis:

Loading
Barcode:
9783319189406
QR-Code:
Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>
ean-shopping.de - es werden keine Cookies verwendet - Impressum