KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 05.10.2026 ab einem Mindestbestellwert von 30€ auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher und Hörbuch-Downloads, nicht preisgebundene Bücher und Kalender online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Nur gültig mit im Onlineshop hinterlegter Bonuscard. 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 Versandkosten und Services. Preisgebundene Artikel sind vom Mindestbestellwert ausgeschlossen.
  • Produktbild: Formal Verification of Circuits
  • Produktbild: Formal Verification of Circuits
- 12%

Formal Verification of Circuits

12% sparen

144,99 € UVP 164,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.06.2000

Abbildungen

X, 179 p.

Verlag

Springer Us

Seitenzahl

179

Maße (L/B/H)

24,1/16/1,6 cm

Gewicht

459 g

Auflage

2000

Sprache

Englisch

ISBN

978-0-7923-7858-7

Beschreibung

Rezension

From the reviews:



"This monograph addresses the problem of formal verification for circuits using as a conceptual tool the Word-Level Decision Diagrams (WLDDs). … The book offers a concise discussion of the field of WLDD-based formal verification of circuits. … The book is written in a clear style and represents an easy-to-read introduction into the area of word-level decision diagrams." (Marius Zimand, Zentralblatt MATH, Vol. 1062 (13), 2005)

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.06.2000

Abbildungen

X, 179 p.

Verlag

Springer Us

Seitenzahl

179

Maße (L/B/H)

24,1/16/1,6 cm

Gewicht

459 g

Auflage

2000

Sprache

Englisch

ISBN

978-0-7923-7858-7

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: Formal Verification of Circuits
  • Produktbild: Formal Verification of Circuits
  • 1 Introduction.- 2 Notations and Definitions.- 3 Decision Diagrams.- 4 Theoretical Aspects of WLDDs.- 5 Implementation of WLDDs.- 6 Minimization of DDs.- 7 Arithmetic Circuits.- 8 Verification of Hdls.- 9 Conclusions.- References.