orna grumberg
25 Years of Model Checking
EbookSofort lieferbarModel checking technology is among the foremost applications of logic to computer science and com...
Tools and Algorithms for the Construction and Analysis of Systems
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 13th International Conference on Tools and ...
Languages: From Formal to Natural
EbookSofort lieferbarThis Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birthda...
Model Checking, second edition
EbookSofort lieferbarAn expanded and updated edition of a comprehensive presentation of the theory and practice of mod...
25 Years of Model Checking
TaschenbuchBezug 11-15Model checking technology is among the foremost applications of logic to computer science and ...
Tools and Algorithms for the Construction and Analysis of Systems
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 13th International Conference on Tools a...
Languages: From Formal to Natural
TaschenbuchBezug 11-15This Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birt...
Computer Aided Verification
TaschenbuchBezug 11-15This book constitutes the strictly refereed proceedings of the 9th International Conference on Co...
- 1