• Bildungs- und Geschäftslösungen Wird in einem neuen Fenster geöffnet

Tools and Algorithms for the Construction and Analysis of Systems 1st Auflage
17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Titelbild: Tools and Algorithms for the Construction and Analysis of Systems 1st edition 9783642198342
  • Autor(en)
    Parosh Aziz Abdulla; ‎K. Rustan M. Leino
  • Verleger
    Springer
  • Format
    Festes Layout
  • ISBN drucken 9783642198342, 3642198341
  • eText ISBN 9783642198359, 364219835X
  • Auflage
    1st
  • Copyright
    2011
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

VitalSource Über 25 Jahre digitale Transformation

  • 4500 Einrichtungen

  • Über 230 Länder und Regionen

  • Über 10.000 Verlage

  • Über 18 Mio. Aktive Benutzer

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings 1st Auflage verfasst von Parosh Aziz Abdulla; ‎K. Rustan M. Leino und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Tools and Algorithms for the Construction and Analysis of Systems lauten 9783642198359, 364219835X und die Druck-ISBNs lauten 9783642198342, 3642198341. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Zurück nach oben