Povej prijatelju o tem izdelku:
Scalable Techniques for Formal Verification Sandip Ray 2010 edition
Cena
€ 111,49
Naročeno iz oddaljenega skladišča
Predvidena dobava 19. avg - 2. sep
Prejemajte obvestila o novih izdajah izvajalca Sandip Ray
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja iMusic
Na voljo tudi kot:
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
| Medij | Knjige Hardcover Book (Knjiga s trdim hrbtom in platnicami) |
| Izdano | 25. maja 2010 |
| ISBN13 | 9781441959973 |
| Založniki | Springer-Verlag New York Inc. |
| Strani | 243 |
| Dimenzije | 155 × 235 × 15 mm · 539 g |
| Jezik | Angleščina |
Več od Sandip Ray
Prikaži vse![Cover for Sandip Ray · Security Policy in System-on-Chip Designs: Specification, Implementation and Verification (Hardcover Book) [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-hardcover-book&class=scaled&v=1542578065)
Več od istega **izdajatelja**
![Cover for Loring W. Tu · An Introduction to Manifolds - Universitext (Paperback Book) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/364/9781071653364.jpg?loring-w-tu-2026-an-introduction-to-manifolds-universitext-paperback-book&class=scaled&v=1780314358)
![Cover for Observing Photons in Space: A Guide to Experimental Space Astronomy - ISSI Scientific Report Series (Hardcover Book) [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-hardcover-book&class=scaled&v=1780314405)
![Cover for Accelerator Physics at the Tevatron Collider - Particle Acceleration and Detection (Hardcover Book) [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-hardcover-book&class=scaled&v=1782130051)
![Cover for Andre Anders · Cathodic Arcs: From Fractal Spots to Energetic Deposition - Springer Series on Atomic, Optical, and Plasma Physics (Hardcover Book) [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-hardcover-book&class=scaled&v=1780314416)
![Cover for Hendrik Van den Berg · The Economics of Immigration: Theory, History and Policy - Population Economics (Hardcover Book) [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-hardcover-book&class=scaled&v=1780314393)
![Cover for Peptide Nucleic Acids: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [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-hardcover-book&class=scaled&v=1780314367)
![Cover for RNA Chaperones: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [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-hardcover-book&class=scaled&v=1782130048)
![Cover for Maternal and Child Health, Vol. 1: Global Challenges, Programs, and Policies (Hardcover Book) [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-hardcover-book&class=scaled&v=1780314390)
![Cover for Maternal and Child Health, Vol. 2: Global Challenges, Programs, and Policies (Hardcover Book) [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-hardcover-book&class=scaled&v=1780314347)
![Cover for Collagen: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/933/9781071651933.jpg?2026-collagen-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1775081440)
![Cover for Christian Dahmann · Drosophila: Methods and Protocols - Methods in Molecular Biology (Paperback Book) [Third Edition 2022 edition] (2023)](https://imusic.b-cdn.net/images/item/original/439/9781071625439.jpg?christian-dahmann-2023-drosophila-methods-and-protocols-methods-in-molecular-biology-paperback-book&class=scaled&v=1713663754)
![Cover for Philip J. Atherton · Neuromuscular Assessments of Form and Function - Neuromethods (Hardcover Book) [2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/144/9781071633144.jpg?philip-j-atherton-2023-neuromuscular-assessments-of-form-and-function-neuromethods-hardcover-book&class=scaled&v=1713564102)
![Cover for Michele J. Hoffmann · Urothelial Carcinoma: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/901/9781071632901.jpg?michele-j-hoffmann-2023-urothelial-carcinoma-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1713712776)
![Cover for Laura M Cole · Imaging Mass Spectrometry: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/182/9781071633182.jpg?laura-m-cole-2023-imaging-mass-spectrometry-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1713670973)
![Cover for Giovanni Samaey · The Invisible Power of Mathematics: The Pervasive Impact of Mathematical Engineering in Everyday Life - Copernicus Books (Paperback Book) [1st ed. 2022 edition] (2023)](https://imusic.b-cdn.net/images/item/original/754/9781071627754.jpg?giovanni-samaey-2023-the-invisible-power-of-mathematics-the-pervasive-impact-of-mathematical-engineering-in-everyday-life-copernicus-books-paperback-book&class=scaled&v=1671563312)
![Cover for Bertram Kostant · Collected Papers: Volume IV 1991–2000 (Hardcover Book) [1st ed. 2023 edition] (2022)](https://imusic.b-cdn.net/images/item/original/882/9780387095882.jpg?bertram-kostant-2022-collected-papers-volume-iv-1991-2000-hardcover-book&class=scaled&v=1617098595)
![Cover for Bertram Kostant · Collected Papers: Volume III 1978–1990 (Hardcover Book) [1st ed. 2023 edition] (2022)](https://imusic.b-cdn.net/images/item/original/868/9780387095868.jpg?bertram-kostant-2022-collected-papers-volume-iii-1978-1990-hardcover-book&class=scaled&v=1671543349)
Ogled vseh Sandip Ray ( Na primer Hardcover Book in Paperback Book )