A Roadmap for Formal Property Verification - Pallab Dasgupta - Knjige - Springer-Verlag New York Inc. - 9781402047572 - 5. julija 2006
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Pallab Dasgupta
A Roadmap for Formal Property Verification 2006 edition

Cena
€ 115,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 23. nov - 7. dec
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca Pallab Dasgupta

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

Na voljo tudi kot:

Integrating formal property verification (FPV) into an existing design process raises several interesting questions. This book develops the answers to these questions and fits them into a roadmap for formal property verification - a roadmap that shows how to glue FPV technology into the traditional validation flow.

252 pages, biography

Medij Knjige     Hardcover Book   (Knjiga s trdim hrbtom in platnicami)
Izdano 5. julija 2006
ISBN13 9781402047572
Založniki Springer-Verlag New York Inc.
Strani 252
Dimenzije 155 × 235 × 15 mm   ·   621 g
Jezik Angleščina  

Več od istega **izdajatelja**

Ogled vseh Pallab Dasgupta