Tipsa dina vänner om produkten:
Scalable Techniques for Formal Verification Sandip Ray 2010 edition
Pris
SEK 1.289
Beställningsvara
Förväntad leverans 29 okt - 12 nov
Julklappar kan bytas fram till 31:e januari
Få avisering om nya utgåvor med Sandip Ray
Lägg till din iMusic-önskelista
eller
Finns även 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öcker Inbunden Bok (Inbunden bok med hårda pärmar och skyddsomslag) |
| Releasedatum | 25 maj 2010 |
| ISBN13 | 9781441959973 |
| Utgivare | Springer-Verlag New York Inc. |
| Antal sidor | 243 |
| Mått | 155 × 235 × 15 mm · 539 g |
| Språk | Engelska |
![Cover for Sandip Ray · Security Policy in System-on-Chip Designs: Specification, Implementation and Verification (Inbunden 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-inbunden-bok&class=scaled&v=1542578065)
![Cover for Paulo Ney De Souza · Berkeley Problems in Mathematics - Problem Books in Mathematics (Inbunden 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 (Inbunden 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-inbunden-bok&class=scaled&v=1790602619)
![Cover for Observing Photons in Space: A Guide to Experimental Space Astronomy - ISSI Scientific Report Series (Inbunden 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-inbunden-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 (Inbunden 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-inbunden-bok&class=scaled&v=1780314416)
![Cover for Biomedical Engineering Principles in Sports (Inbunden Bok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/798/9781071654798.jpg?2027-biomedical-engineering-principles-in-sports-inbunden-bok&class=scaled&v=1788246125)
![Cover for Hendrik Van den Berg · The Economics of Immigration: Theory, History and Policy - Population Economics (Inbunden 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-inbunden-bok&class=scaled&v=1780314393)
![Cover for Accelerator Physics at the Tevatron Collider - Particle Acceleration and Detection (Inbunden 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-inbunden-bok&class=scaled&v=1782130051)
![Cover for RNA-Chromatin Interactions: Methods and Protocols - Methods in Molecular Biology (Inbunden Bok) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/266/9781071656266.jpg?2027-rna-chromatin-interactions-methods-and-protocols-methods-in-molecular-biology-inbunden-bok&class=scaled&v=1790602568)
![Cover for Computational Methods in Synthetic Biology - Methods in Molecular Biology (Inbunden Bok) [Third Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/825/9781071655825.jpg?2027-computational-methods-in-synthetic-biology-methods-in-molecular-biology-inbunden-bok&class=scaled&v=1790602614)
![Cover for Melanoma: Methods and Protocols - Methods in Molecular Biology (Inbunden Bok) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/181/9781071656181.jpg?2026-melanoma-methods-and-protocols-methods-in-molecular-biology-inbunden-bok&class=scaled&v=1790602583)
![Cover for Atomic Force Microscopy: Methods and Protocols - Methods in Molecular Biology (Inbunden 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-inbunden-bok&class=scaled&v=1791812257)
![Cover for Ewing Sarcoma: Methods and Protocols - Methods in Molecular Biology (Inbunden Bok) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/863/9781071655863.jpg?2026-ewing-sarcoma-methods-and-protocols-methods-in-molecular-biology-inbunden-bok&class=scaled&v=1790602610)
![Cover for RNA Remodeling Proteins: Methods and Protocols - Methods in Molecular Biology (Inbunden Bok) [Third Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/702/9781071655702.jpg?2026-rna-remodeling-proteins-methods-and-protocols-methods-in-molecular-biology-inbunden-bok&class=scaled&v=1790602627)
![Cover for Intestinal Stem Cells: Methods and Protocols - Methods in Molecular Biology (Inbunden 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-inbunden-bok&class=scaled&v=1790602647)
![Cover for Stem Cell Transcriptional Networks: Methods and Protocols - Methods in Molecular Biology (Inbunden Bok) [Third Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/382/9781071655382.jpg?2026-stem-cell-transcriptional-networks-methods-and-protocols-methods-in-molecular-biology-inbunden-bok&class=scaled&v=1790604482)
![Cover for Vaccinophobia and Vaccine Controversies of the 21st Century (Inbunden 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-inbunden-bok&class=scaled&v=1788180241)
