• Bildungs- und Geschäftslösungen Wird in einem neuen Fenster geöffnet
Titelbild: Tools and Algorithms for the Construction and Analysis of Systems 9783662466803

Tools and Algorithms for the Construction and Analysis of Systems

21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

  • Autor(en) Author
  • Verleger Veröffentlicht von Springer Copyright © 2015
  • "ISBN-13 9783662466803"
  • 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

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings verfasst von Author und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Tools and Algorithms for the Construction and Analysis of Systems lauten 9783662466810, 3662466813 und die Druck-ISBNs lauten 9783662466803, 3662466805. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Zurück nach oben