Freunden von diesem Artikel berichten:
Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems Chao Wang 2006 edition
Preis
€ 111,99
Bestellware
Lieferdatum: ca. 6. - 14. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
oder
Auch vorhanden als:
Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems
Chao Wang
This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs.
179 pages, biography
| Medien | Bücher Gebundenes Buch (Buch mit hartem Rücken und steifem Einband) |
| Erscheinungsdatum | 20. Juli 2006 |
| ISBN13 | 9780387341552 |
| Verlag | Springer-Verlag New York Inc. |
| Seitenanzahl | 179 |
| Maße | 155 × 235 × 12 mm · 467 g |
Weitere Titel von Chao Wang
Alle anzeigen![Cover for Chao Wang · Combined Measure and Shift Invariance Theory of Time Scales and Applications - Developments in Mathematics (Taschenbuch) [2022 edition] (2023)](https://imusic.b-cdn.net/images/item/original/216/9783031116216.jpg?chao-wang-2023-combined-measure-and-shift-invariance-theory-of-time-scales-and-applications-developments-in-mathematics-taschenbuch&class=scaled&v=1749435120)
![Cover for Chao Wang · Combined Measure and Shift Invariance Theory of Time Scales and Applications - Developments in Mathematics (Gebundenes Buch) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/186/9783031116186.jpg?chao-wang-2022-combined-measure-and-shift-invariance-theory-of-time-scales-and-applications-developments-in-mathematics-gebundenes-buch&class=scaled&v=1694493353)
![Cover for Chao Wang · Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales - Synthesis Lectures on Mathematics & Statistics (Gebundenes Buch) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/355/9783031112355.jpg?chao-wang-2022-dynamic-equations-and-almost-periodic-fuzzy-functions-on-time-scales-synthesis-lectures-on-mathematics-statistics-gebundenes-buch&class=scaled&v=1694493353)
![Cover for Chao Wang · Theory of Translation Closedness for Time Scales: With Applications in Translation Functions and Dynamic Equations (Taschenbuch) [2020 edition] (2021)](https://imusic.b-cdn.net/images/item/original/069/9783030434069.jpg?chao-wang-2021-theory-of-translation-closedness-for-time-scales-with-applications-in-translation-functions-and-dynamic-equations-taschenbuch&class=scaled&v=1620189829)
![Cover for Chao Wang · Theory of Translation Closedness for Time Scales: With Applications in Translation Functions and Dynamic Equations - Developments in Mathematics (Gebundenes Buch) [2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/436/9783030386436.jpg?chao-wang-2020-theory-of-translation-closedness-for-time-scales-with-applications-in-translation-functions-and-dynamic-equations-developments-in-mathematics-gebundenes-buch&class=scaled&v=1649383338)
Alle Titel von Chao Wang ansehen ( u. a. Gebundenes Buch und Taschenbuch )