-
TaschenbuchPrint on Demand
Formal verification increasingly has become recognized as an answer to the problem of how to crea...
-
TaschenbuchPrint on Demand
This book grew out of a NATO Advanced Study Institute summer school that was held in Antalya, TUr...
-
TaschenbuchPrint on Demand
Computer-Aided Verification is a collection of papersthat begins with a general survey of hardw...
-
BuchPrint on Demand
Formal verification increasingly has become recognized as an answer to the problem of how to crea...
-
TaschenbuchPrint on Demand
This volume contains the proceedings of the second workshopon Computer Aided Verification, he...
-
TaschenbuchPrint on Demand
This book is for people who want to know what to do with the money they save: so that it¿s there ...
- 1