maurice h ter beek
Formal Methods - The Next 30 Years
EbookSofort lieferbarThe 44 full papers presented together with 3 invited presentations were carefully reviewed and se...
From Software Engineering to Formal Methods and Tools, and Back
EbookSofort lieferbarThe Festschrift consists of eight sections, seven of which reflect the main research areas to whi...
Web Services and Formal Methods
EbookSofort lieferbarThis book constitutes the thoroughly refereed post-workshop proceedings of the 9th International ...
Architecting Dependable Systems VI
EbookSofort lieferbarAs software systems become increasingly ubiquitous, issues of dependability become ever more cruc...
Critical Systems: Formal Methods and Automated Verification
EbookSofort lieferbarThis book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal...
Formal Methods for Industrial Critical Systems
EbookSofort lieferbarThis book constitutes the proceedings of the 25th International Workshop on Formal Methods for In...
Integrated Formal Methods
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 17th International Conference on Integrated...
Coordination Models and Languages
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference o...
Architecting Dependable Systems VI
TaschenbuchBezug 11-15As software systems become increasingly ubiquitous, issues of dependability become ever more c...
Web Services and Formal Methods
TaschenbuchBezug 11-15This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International ...
Critical Systems: Formal Methods and Automated Verification
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal...
Formal Methods - The Next 30 Years
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 201...
- 1
- 2