• Bildungs- und Geschäftslösungen Wird in einem neuen Fenster geöffnet
Titelbild: Formal Methods for Hardware Verification 1st edition 9783540343042

Formal Methods for Hardware Verification

6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

1st Auflage

  • Autor(en) Marco Bernardo; ‎Alessandro Cimatti
  • Verleger Veröffentlicht von Springer Copyright © 2006
  • ISBN-13 9783540343042
  • 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

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 Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures 1st Auflage verfasst von Marco Bernardo; ‎Alessandro Cimatti und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Formal Methods for Hardware Verification lauten 9783540343059, 3540343059 und die Druck-ISBNs lauten 9783540343042, 3540343040. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Zurück nach oben