Formal verification increasingly has become recognized as an answer to the problem of how to crea...
This book grew out of a NATO Advanced Study Institute summer school that was held in Antalya, TUr...
Formal verification increasingly has become recognized as an answer to the problem of how to crea...
Computer-Aided Verification is a collection of papersthat begins with a general survey of hardwar...
This volume contains the proceedings of the second workshopon Computer Aided Verification, held a...
This book is for people who want to know what to do with the money they save: so that it's there ...
Computer-Aided Verification is a collection of papersthat begins with a general survey of hardwar...
Unser bisheriger Preis:ORGPRICE: 180,50 €