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

Formal Methods for Hardware Verification 1st Auflage
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

Titelbild: Formal Methods for Hardware Verification 1st edition 9783540343042
  • Autor(en)
    Marco Bernardo; ‎Alessandro Cimatti
  • Verleger
    Springer
  • Format
    Fest
  • ISBN drucken 9783540343042, 3540343040
  • eText ISBN 9783540343059, 3540343059
  • Auflage
    1st
  • Copyright
    2006
eTextbook kaufen
‌‌
€53.49 EUR
‌

Der beste eTextbook-Reader der Welt für Schüler und Studenten. VitalSource ist der führende Anbieter von Online-Textbüchern und Kursmaterialien. Über 15 Mio. Benutzer haben in den letzten Jahren unsere Bookshelf-Plattform genutzt, um ihre Lernerfahrung und -ergebnisse zu verbessern. Durch den Zugriff jederzeit und von jedem Ort aus und mit integrierten Werkzeugen wie Markierungen, Lernkarten und Studiengruppen kann man sich leicht vorstellen, warum so viele Schüler und Studenten mit Bookshelf digital werden.

  • Über eine Million Titel von mehr als 1.000 Verlegern stehen zur Verfügung

  • Über 60.000 Kundenbewertungen mit einem Durchschnittswert von 9,5

  • Über 3 Milliarden Anzeigen digitaler Seiten in den letzten 12 Monaten

  • Über 7.000 Institutionen nutzen Bookshelf in 241 Ländern

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