tim willemse
Formal Methods for Industrial Critical Systems
EbookSofort lieferbarThe 9 regular papers presented in this volume were carefully reviewed and selected from 15 submis...
Formal Techniques for Distributed Objects, Components, and Systems
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference o...
Software Engineering and Formal Methods
EbookSofort lieferbarThe 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, wer...
Formal Methods for Industrial Critical Systems
TaschenbuchBezug 11-15This book constitutes the proceedings of the 24th International Conference on Formal Me...
Formal Techniques for Distributed Objects, Components, and Systems
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conferenc...
Software Engineering and Formal Methods
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 21st International Conference on Softwar...
- 1