Tipsa dina vänner om produkten:
Scalable Techniques for Formal Verification 2010 edition
Sandip Ray
Pris
SEK 1.439
Beställningsvara
Förväntad leverans 27 mar - 7 apr
Lägg till din iMusic-önskelista
Eller
Finns även som:
Scalable Techniques for Formal Verification 2010 edition
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 Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 19 oktober 2014 |
| ISBN13 | 9781489984449 |
| Utgivare | Springer-Verlag New York Inc. |
| Antal sidor | 243 |
| Mått | 155 × 235 × 14 mm · 367 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)