KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig am 12.10.2026 auf englische Krimis & Thriller (krimis-thriller-15521) online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel, Abos & Flatrates. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Geschenkkarten, Versandkosten und Services.
  • Produktbild: Practical Design Verification
  • Produktbild: Practical Design Verification

Practical Design Verification

181,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

11.06.2009

Verlag

Cambridge Academic

Seitenzahl

290

Maße (L/B/H)

25/17,5/2 cm

Gewicht

720 g

Sprache

Englisch

ISBN

978-0-521-85972-1

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

11.06.2009

Verlag

Cambridge Academic

Seitenzahl

290

Maße (L/B/H)

25/17,5/2 cm

Gewicht

720 g

Sprache

Englisch

ISBN

978-0-521-85972-1

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: Libri GmbH

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: Practical Design Verification
  • Produktbild: Practical Design Verification
  • 1. Model checking and equivalence checking M. Fujita; 2. Transaction level system modeling D. Gajski and S. Abdi; 3. Result checking, monitors and assertions H. Foster; 4. System debugging strategies W. Wolf; 5. Test generation and coverage metrics M. Sonza Reorda, G. Squillero and E. Sanchez; 6. System C and Vera in a verification flow S. Verma and I. G. Harris; 7. Decision diagrams for verification M. Ciesielski, D. K. Pradhan and A. M. Jabir; 8. Boolean satisfiability and EDA applications J. Marques-Silva.