Computer-Aided Verification is a collection of papersthat begins with a general survey of hardw...
Unser bisheriger Preis:ORGPRICE: 162,31 €
Formal verification increasingly has become recognized as an answer to the problem of how to crea...
Unser bisheriger Preis:ORGPRICE: 62,99 €
This book grew out of a NATO Advanced Study Institute summer school that was held in Antalya, TUr...
Unser bisheriger Preis:ORGPRICE: 111,71 €
This book is for people who want to know what to do with the money they save: so that it's there ...
Unser bisheriger Preis:ORGPRICE: 35,30 €
This book grew out of a NATO Advanced Study Institute summer school that was held in Antalya, TUr...
Computer-Aided Verification is a collection of papersthat begins with a general survey...