• Produktbild: Formal Hardware Verification
  • Produktbild: Formal Hardware Verification
Band 1287

Formal Hardware Verification Methods and Systems in Comparison

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.08.1997

Abbildungen

XII, 376 p.

Herausgeber

Thomas Kropf

Verlag

Springer Berlin

Seitenzahl

376

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

587 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-63475-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.08.1997

Abbildungen

XII, 376 p.

Herausgeber

Thomas Kropf

Verlag

Springer Berlin

Seitenzahl

376

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

587 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-63475-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Formal Hardware Verification
  • Produktbild: Formal Hardware Verification
  • Symbolic trajectory evaluation.- Automated verification with abstract state machines using multiway decision graphs.- Design verification using Synchronized Transitions.- Hardware verification using PVS.- Verifying VHDL designs with COSPAN.- The C@S system: Combining proof strategies for system verification.- Appendix: The common book examples.