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

Sandip Ray
Scalable Techniques for Formal Verification 2010 edition

Hinta
€ 132,99

Tilattu etävarastosta

Arvioitu toimitus pe 7. - 21. elo
Saat ilmoituksen artistin Sandip Ray uusista julkaisuista

Asiakkaamme sanovat:

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

Ei vielä arvioitu

Löytyy myös muodossa:

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 Englanti  

Lisää samalta julkaisijalta

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