daniel kroening
Hardware and Software: Verification and Testing
EbookSofort lieferbarThis book constitutes the thoroughly refereed post-conference proceedings of the 6th Internationa...
Decision Procedures
EbookSofort lieferbarA decision procedure is an algorithm that, given a decision problem, terminates with a correct ye...
Validation of Evolving Software
EbookSofort lieferbarThis book describes the methodology and accompanying technology for reducing the costs of validat...
Decision Procedures
EbookSofort lieferbarA decision procedure is an algorithm that, given a decision problem, terminates with a correct ye...
Verified Software: Theories, Tools and Experiments
EbookSofort lieferbarThis volume constitutes the thoroughly refereed post-conference proceedings of the 6th Internatio...
Computer Aided Verification
EbookSofort lieferbarThe two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th Inter...
Computer Aided Verification
EbookSofort lieferbarThe two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th Inter...
Model Checking, second edition
EbookSofort lieferbarAn expanded and updated edition of a comprehensive presentation of the theory and practice of mod...
Decision Procedures
BuchBezug 11-15A decision procedure is an algorithm that, given a decision problem, terminates with a correct...
Decision Procedures
BuchBezug 11-15A decision procedure is an algorithm that, given a decision problem, terminates with a correct...
Validation of Evolving Software
BuchBezug 11-15This book describes the methodology and accompanying technology for reducing the costs of validat...
Hardware and Software: Verification and Testing
TaschenbuchBezug 11-15This book constitutes the thoroughly refereed post-conference proceedings of the 6th Internationa...
- 1
- 2