Titelbild: Formal Methods for Executable Software Models 9783319073163

Formal Methods for Executable Software Models

14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

  • Verleger Veröffentlicht von Springer Copyright © 2014
  • "ISBN-13 9783319073163"
  • Format Festes Layout

eBook

eTextbook-Lizenz
‌
€53.49 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

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Formal Methods for Executable Software Models lauten 9783319073170, 3319073176 und die Druck-ISBNs lauten 9783319073163, 3319073168. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Zurück nach oben