• Bildungs- und Geschäftslösungen Wird in einem neuen Fenster geöffnet
Titelbild: Formal Methods for Multicore Programming 9783319189406

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

  • Verleger Veröffentlicht von Springer Copyright © 2015
  • ISBN-13 9783319189406
  • Format reflowable eBook

eBook

eTextbook-Lizenz
‌
€50.28 EUR
‌
‌

  • Studienhilfen

    Integrierte Lernwerkzeuge wie Hervorhebungen und vieles mehr

  • Vorlesen

    Hören Sie zu und lesen Sie mit, während Bookshelf Ihnen vorliest

  • Offline-Zugriff

    Greifen Sie jederzeit und überall auf Ihr eTextbook zu

  • Globale Suche

    Durchsuche Buchinhalte, Abbildungen und dein Arbeitsbuch.

Erfahren Sie mehr

VitalSource Über 25 Jahre digitale Transformation

  • 4500 Einrichtungen

  • Über 230 Länder und Regionen

  • Über 10.000 Verlage

  • Über 18 Mio. Aktive Benutzer

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 und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Formal Methods for Multicore Programming lauten 9783319189413, 3319189417 und die Druck-ISBNs lauten 9783319189406, 3319189409. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Zurück nach oben