yliès falcone
Lectures on Runtime Verification
EbookSofort lieferbarThe idea of this volume originated from the need to have a book for students to support their tra...
Runtime Verification
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 16th International Conference on Runtime Ve...
Formal Methods in Outer Space
EbookSofort lieferbarThe book title reflects Klaus's main research and engineering focus throughout his career: formal...
Runtime Verification
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 16th International Conference on Runtime...
Lectures on Runtime Verification
TaschenbuchBezug 11-15The idea of this volume originated from the need to have a book for students to support their ...
Formal Methods in Outer Space
TaschenbuchBezug 11-15This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in...
- 1