• 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

Taschenbuch

Erscheinungsdatum

01.10.2014

Abbildungen

XIII, 167 p.

Verlag

Springer Us

Seitenzahl

167

Maße (L/B/H)

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

Gewicht

289 g

Sprache

Englisch

ISBN

978-1-4939-0101-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.10.2014

Abbildungen

XIII, 167 p.

Verlag

Springer Us

Seitenzahl

167

Maße (L/B/H)

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

Gewicht

289 g

Sprache

Englisch

ISBN

978-1-4939-0101-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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.