Scalable Techniques for Formal Verification - Sandip Ray - Kirjat - Springer-Verlag New York Inc. - 9781489984449 - sunnuntai 19. lokakuuta 2014
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Scalable Techniques for Formal Verification 2010 edition

Sandip Ray

Hinta
€ 140,49

Tilattu etävarastosta

Arvioitu toimitus pe 28. helmi - ti 11. maalis

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Löytyy myös muodossa:

Scalable Techniques for Formal Verification 2010 edition

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä sunnuntai 19. lokakuuta 2014
ISBN13 9781489984449
Tuottaja Springer-Verlag New York Inc.
Sivujen määrä 243
Mitta 155 × 235 × 14 mm   ·   367 g
Kieli English  
Näytä kaikki

Lisää tuotteita Sandip Ray

Katso kaikki joka sisältää Sandip Ray ( Esim. Hardcover Book Ja Paperback Book )