• Bildungs- und Geschäftslösungen Wird in einem neuen Fenster geöffnet
Titelbild: Verified Software. Theories, Tools, and Experiments 1st edition 9783030415990

Verified Software. Theories, Tools, and Experiments

11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers

1st Auflage

  • Autor(en) Supratik Chakraborty; ‎Jorge A. Navas
  • Verleger Veröffentlicht von Springer Copyright © 2020
  • "ISBN-13 9783030415990"
  • Format reflowable eBook

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

Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers 1st Auflage verfasst von Supratik Chakraborty; ‎Jorge A. Navas und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Verified Software. Theories, Tools, and Experiments lauten 9783030416003, 3030416003 und die Druck-ISBNs lauten 9783030415990, 3030415996. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Zurück nach oben