Fortell venner om denne varen:
Symbolic Simulation Methods for Industrial Formal Verification Robert B. Jones Softcover reprint of the original 1st ed. 2002 edition
Pris
NOK 999
Bestillingsvarer
Forventes levert 13. - 21. okt
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 Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 23. oktober 2012 |
| Opprinelig utgitt | 2002 |
| ISBN13 | 9781461353959 |
| Utgivere | Springer-Verlag New York Inc. |
| Antall sider | 151 |
| Mål | 155 × 235 × 9 mm · 249 g |
| Språk | Engelsk |
![Cover for Observing Photons in Space: A Guide to Experimental Space Astronomy - ISSI Scientific Report Series (Innbunden bok) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/231/9781071654231.jpg?2026-observing-photons-in-space-a-guide-to-experimental-space-astronomy-issi-scientific-report-series-innbunden-bok&class=scaled&v=1780314405)
![Cover for Paulo Ney De Souza · Berkeley Problems in Mathematics - Problem Books in Mathematics (Innbunden bok) [Fourth Edition 2026 edition] (2026)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Loring W. Tu · An Introduction to Manifolds - Universitext (Pocketbok) [Third Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/364/9781071653364.jpg?loring-w-tu-2026-an-introduction-to-manifolds-universitext-pocketbok&class=scaled&v=1780314358)
![Cover for Hendrik Van den Berg · The Economics of Immigration: Theory, History and Policy - Population Economics (Innbunden bok) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/477/9781071654477.jpg?hendrik-van-den-berg-2026-the-economics-of-immigration-theory-history-and-policy-population-economics-innbunden-bok&class=scaled&v=1780314393)
![Cover for Biomedical Engineering Principles in Sports (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/798/9781071654798.jpg?2026-biomedical-engineering-principles-in-sports-innbunden-bok&class=scaled&v=1788246125)
![Cover for Accelerator Physics at the Tevatron Collider - Particle Acceleration and Detection (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/791/9781071653791.jpg?2026-accelerator-physics-at-the-tevatron-collider-particle-acceleration-and-detection-innbunden-bok&class=scaled&v=1782130051)
![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] (2026)](https://imusic.b-cdn.net/images/item/original/835/9781071654835.jpg?andre-anders-2026-cathodic-arcs-from-fractal-spots-to-energetic-deposition-springer-series-on-atomic-optical-and-plasma-physics-innbunden-bok&class=scaled&v=1780314416)
![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 Cryopreservation and Freeze-Drying Protocols - Methods in Molecular Biology (Innbunden bok) [Fifth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/156/9781071654156.jpg?2026-cryopreservation-and-freeze-drying-protocols-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1788250154)
![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 Vaccinophobia and Vaccine Controversies of the 21st Century (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/637/9781071654637.jpg?2026-vaccinophobia-and-vaccine-controversies-of-the-21st-century-innbunden-bok&class=scaled&v=1788180241)
![Cover for Nanopore Technology: Methods and Protocols - Methods in Molecular Biology (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/269/9781071655269.jpg?2026-nanopore-technology-methods-and-protocols-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1788250143)
![Cover for Targeting Enzymes for Pharmaceutical Development: Methods and Protocols - Methods in Molecular Biology (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/896/9781071651896.jpg?2026-targeting-enzymes-for-pharmaceutical-development-methods-and-protocols-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1775080745)
