Wyniki wyszukiwania:
wyszukanych pozycji: 4
 |
A Roadmap for Formal Property Verification
ISBN: 9781402047572 / Angielski / Twarda / 2006 / 252 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity issues? 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. A Roadmap for Formal Property Verification explores the key issues in this powerful technology through simple examples you do not need any... Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properti... |
cena:
392,66 zł |
 |
A Roadmap for Formal Property Verification
ISBN: 9789048171859 / Angielski / Miękka / 2010 / 252 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity issues? 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. A Roadmap for Formal Property Verification explores the key issues in this powerful technology through simple examples you do not need any... Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properti... |
cena:
392,66 zł |
 |
Multiobjective Heuristic Search: An Introduction to Intelligent Search Methods for Multicriteria Optimization
ISBN: 9783528057084 / Angielski / Miękka / 1999 / 134 str. Termin realizacji zamówienia: ok. 20 dni roboczych. A large number of problems require the optimization of multiple criteria. These crite- ria are often non-commensurate and sometimes conflicting in nature making the task of optimization more difficult. In such problems, the task of creating a combined opti- mization function is often not easy. Moreover, the decision procedure can be affected by the sensitivity of the solution space, and the trade-off is often non-linear. In real life we traditionally handle such problems by suggesting not one, but several non-dominated solutions. Finding a set of non-dominated solutions is also useful in...
A large number of problems require the optimization of multiple criteria. These crite- ria are often non-commensurate and sometimes conflicting in nat...
|
cena:
196,31 zł |
 |
Cohesive Coverage Management Leveraging Formal Test Plans
ISBN: 9783847376453 / Angielski / Miękka / 2012 / 136 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
272,58 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
