Fortell venner om denne varen:
Scalable Techniques for Formal Verification Sandip Ray 2010 edition
Pris
NOK 1.179
Bestillingsvarer
Forventes levert 7. - 21. aug
Få varsel om nye utgivelser fra Sandip Ray
Legg til iMusic ønskeliste
eller
Finnes også som:
Scalable Techniques for Formal Verification
Sandip Ray
This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure correct execution of computing systems. Over the last decade, formal veri?cation has made signi?cant headway in the analysis of industrial systems, particularly in the realm of veri?cation of hardware.
243 pages, biography
| Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 25. mai 2010 |
| ISBN13 | 9781441959973 |
| Utgivere | Springer-Verlag New York Inc. |
| Antall sider | 243 |
| Mål | 155 × 235 × 15 mm · 539 g |
| Språk | Engelsk |
Mer med Sandip Ray
Vis alle![Cover for Sandip Ray · Security Policy in System-on-Chip Designs: Specification, Implementation and Verification (Innbunden bok) [1st ed. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/631/9783319934631.jpg?sandip-ray-2018-security-policy-in-system-on-chip-designs-specification-implementation-and-verification-innbunden-bok&class=scaled&v=1542578065)
Mer fra samme **utgiver**
![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 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 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 Maternal and Child Health, Vol. 2: Global Challenges, Programs, and Policies (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/316/9781071654316.jpg?2026-maternal-and-child-health-vol-2-global-challenges-programs-and-policies-innbunden-bok&class=scaled&v=1780314347)
![Cover for Maternal and Child Health, Vol. 1: Global Challenges, Programs, and Policies (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/279/9781071654279.jpg?2026-maternal-and-child-health-vol-1-global-challenges-programs-and-policies-innbunden-bok&class=scaled&v=1780314390)
![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 Peptide Nucleic Acids: Methods and Protocols - Methods in Molecular Biology (Innbunden bok) [Fourth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/678/9781071653678.jpg?2026-peptide-nucleic-acids-methods-and-protocols-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1780314367)
![Cover for RNA Chaperones: Methods and Protocols - Methods in Molecular Biology (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/715/9781071653715.jpg?2026-rna-chaperones-methods-and-protocols-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1782130048)
![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 In Situ Hybridization Protocols - Methods in Molecular Biology (Innbunden bok) [Sixth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/718/9781071652718.jpg?2026-in-situ-hybridization-protocols-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1778115542)
![Cover for Expression, Purification, and Structural Biology of Membrane Proteins - Methods in Molecular Biology (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/858/9781071651858.jpg?2026-expression-purification-and-structural-biology-of-membrane-proteins-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1777954830)
![Cover for Arbuscular Mycorrhizal Fungi: Methods and Protocols - Methods in Molecular Biology (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/234/9781071653234.jpg?2026-arbuscular-mycorrhizal-fungi-methods-and-protocols-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1780318237)
![Cover for Functional Disulphide Bonds: Methods and Protocols - Methods in Molecular Biology (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/575/9781071651575.jpg?2026-functional-disulphide-bonds-methods-and-protocols-methods-in-molecular-biology-innbunden-bok&class=scaled&v=1775139165)
![Cover for Ulrich Daepp · Reading, Writing, and Proving: A Closer Look at Mathematics - Undergraduate Texts in Mathematics (Innbunden bok) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/373/9781071646373.jpg?ulrich-daepp-2026-reading-writing-and-proving-a-closer-look-at-mathematics-undergraduate-texts-in-mathematics-innbunden-bok&class=scaled&v=1746741961)
Se alt med Sandip Ray ( f.eks. Innbunden bok og Pocketbok )