SAT-Based Scalable Formal Verification Solutions
von Malay Ganai Verlag: Springer US,
2007 2007. Neubindung 3487105/12
gebraucht, sehr gut
Anbieter: Buchpark GmbH, Trebbin, Deutschland
- Sonderaktion: 10% Rabatt bis 11.06.2024
66,13 EUR
59,52 EUR
Kostenloser Versand
Neuware
SAT-Based Scalable Formal Verification Solutions
von Aarti Gupta, Malay Ganai
2007 Gebunden, 360 Seiten, 241mm x 160mm x 24mm, Sprache(n): eng Functional Verification has become an important aspect of the design process. Significant resources, both in industry and academia, are devoted to bridging the gap between design complexity and verification efforts. This book provi…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
179,75 EUR
Kostenloser Versand
Nichts passendes gefunden?
- ISBN / EAN
- 9780387691664
Link zur Suche kopieren
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!