Fortell venner om denne varen:
Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems 2006 edition
Chao Wang
Pris
₺ 4.718
Bestillingsvarer
Forventes levert 6. - 14. aug
Legg til iMusic ønskeliste
Eller
Finnes også som:
Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems 2006 edition
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
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 6. desember 2014 |
| ISBN13 | 9781489993953 |
| Utgivere | Springer-Verlag New York Inc. |
| Antall sider | 179 |
| Mål | 155 × 235 × 11 mm · 281 g |
| Språk | Engelsk |
![Cover for Chao Wang · Combined Measure and Shift Invariance Theory of Time Scales and Applications - Developments in Mathematics (Pocketbok) [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-pocketbok&class=scaled&v=1749435120)
![Cover for Chao Wang · Combined Measure and Shift Invariance Theory of Time Scales and Applications - Developments in Mathematics (Innbunden bok) [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-innbunden-bok&class=scaled&v=1694493353)
![Cover for Chao Wang · Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales - Synthesis Lectures on Mathematics & Statistics (Innbunden bok) [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-innbunden-bok&class=scaled&v=1694493353)
![Cover for Chao Wang · Theory of Translation Closedness for Time Scales: With Applications in Translation Functions and Dynamic Equations (Pocketbok) [1st ed. 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-pocketbok&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 (Innbunden bok) [1st ed. 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-innbunden-bok&class=scaled&v=1649383338)