• Produktbild: High-Level Verification
  • Produktbild: High-Level Verification
- 12%

High-Level Verification Methods and Tools for Verification of System-Level Designs

12% sparen

95,99 € UVP 109,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.05.2011

Abbildungen

XIII, 167 p.

Verlag

Springer Us

Seitenzahl

167

Maße (L/B/H)

24,5/16,4/1,8 cm

Gewicht

419 g

Auflage

2011 edition

Sprache

Englisch

ISBN

978-1-4419-9358-8

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.05.2011

Abbildungen

XIII, 167 p.

Verlag

Springer Us

Seitenzahl

167

Maße (L/B/H)

24,5/16,4/1,8 cm

Gewicht

419 g

Auflage

2011 edition

Sprache

Englisch

ISBN

978-1-4419-9358-8

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

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: High-Level Verification
  • Produktbild: High-Level Verification
  • Introduction.- Related Work.- Background.- Execution-based Model Checking for High-Level Designs.- Efficient Symbolic Analysis for Concurrent Programs.- Translation Validation of High-Level Synthesis.- Parameterized Program Equivalence Checking.- Conclusions and Future Work.