Fortell venner om denne varen:
Symbolic Simulation Methods for Industrial Formal Verification Robert B. Jones 2002 edition
Pris
NOK 969
Bestillingsvarer
Forventes levert 27. nov - 7. des
Julegaver kan byttes frem til 31. januar
Få varsel om nye utgivelser fra Robert B. Jones
Legg til iMusic ønskeliste
eller
Finnes også som:
Symbolic Simulation Methods for Industrial Formal Verification
Robert B. Jones
This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity.
151 pages, biography
| Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 30. juni 2002 |
| ISBN13 | 9781402071034 |
| Utgivere | Springer-Verlag New York Inc. |
| Antall sider | 151 |
| Mål | 155 × 235 × 11 mm · 417 g |
| Språk | Engelsk |
| Redaktør | Jones, Robert B. |
![Cover for Paulo Ney De Souza · Berkeley Problems in Mathematics - Problem Books in Mathematics (Innbunden bok) [Fourth Edition 2026 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Yves Tille · Sampling Algorithms: with R - Springer Series in Statistics (Innbunden bok) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/740/9781071655740.jpg?yves-tille-2027-sampling-algorithms-with-r-springer-series-in-statistics-innbunden-bok&class=scaled&v=1790602619)
![Cover for Observing Photons in Space: A Guide to Experimental Space Astronomy - ISSI Scientific Report Series (Innbunden bok) [Third Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/231/9781071654231.jpg?2027-observing-photons-in-space-a-guide-to-experimental-space-astronomy-issi-scientific-report-series-innbunden-bok&class=scaled&v=1780314405)
![Cover for Loring W. Tu · An Introduction to Manifolds - Universitext (Pocketbok) [Third Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/364/9781071653364.jpg?loring-w-tu-2027-an-introduction-to-manifolds-universitext-pocketbok&class=scaled&v=1780314358)
![Cover for Andre Anders · Cathodic Arcs: From Fractal Spots to Energetic Deposition - Springer Series on Atomic, Optical, and Plasma Physics (Innbunden bok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/835/9781071654835.jpg?andre-anders-2027-cathodic-arcs-from-fractal-spots-to-energetic-deposition-springer-series-on-atomic-optical-and-plasma-physics-innbunden-bok&class=scaled&v=1780314416)
![Cover for Biomedical Engineering Principles in Sports (Innbunden bok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/798/9781071654798.jpg?2027-biomedical-engineering-principles-in-sports-innbunden-bok&class=scaled&v=1788246125)
![Cover for Hendrik Van den Berg · The Economics of Immigration: Theory, History and Policy - Population Economics (Innbunden bok) [Third Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/477/9781071654477.jpg?hendrik-van-den-berg-2027-the-economics-of-immigration-theory-history-and-policy-population-economics-innbunden-bok&class=scaled&v=1780314393)
![Cover for Accelerator Physics at the Tevatron Collider - Particle Acceleration and Detection (Innbunden bok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/791/9781071653791.jpg?2027-accelerator-physics-at-the-tevatron-collider-particle-acceleration-and-detection-innbunden-bok&class=scaled&v=1782130051)
![Cover for Aging: Methods and Protocols - Methods in Molecular Biology (Innbunden bok) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/027/9781071657027.jpg?2026-aging-methods-and-protocols-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1794254487)
![Cover for Statistical Population Genomics - Methods in Molecular Biology (Innbunden bok) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/627/9781071655627.jpg?2026-statistical-population-genomics-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1794249064)
![Cover for Atomic Force Microscopy: Methods and Protocols - Methods in Molecular Biology (Innbunden bok) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/542/9781071655542.jpg?2026-atomic-force-microscopy-methods-and-protocols-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1791812257)
![Cover for Gapmers: Methods and Protocols - Methods in Molecular Biology (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/750/9781071654750.jpg?2026-gapmers-methods-and-protocols-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1788180695)
![Cover for Lipases and Phospholipases: Methods and Protocols - Methods in Molecular Biology (Innbunden bok) [Third Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/712/9781071654712.jpg?2026-lipases-and-phospholipases-methods-and-protocols-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1788180481)
![Cover for Intestinal Stem Cells: Methods and Protocols - Methods in Molecular Biology (Innbunden bok) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/118/9781071654118.jpg?2026-intestinal-stem-cells-methods-and-protocols-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1790602647)
