Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. Formal Methods for Multicore Programming

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

enthalten in Lecture Notes in Computer Science-Reihe

enthalten in Programming and Software Engineering-Reihe

Formal Methods for Multicore Programming
Über Formal Methods for Multicore Programming

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.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783319189406
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 211
  • Veröffentlicht:
  • 19. Mai 2015
  • Ausgabe:
  • 2015
  • Abmessungen:
  • 155x235x12 mm.
  • Gewicht:
  • 3401 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.
Verlängerte Rückgabefrist bis 31. Januar 2025
  •  

    Keine Lieferung vor Weihnachten möglich.
    Kaufen Sie jetzt und drucken Sie einen Gutschein aus

Beschreibung von Formal Methods for Multicore Programming

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.

Kund*innenbewertungen von Formal Methods for Multicore Programming



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Formal Methods for Multicore Programming 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.