jean françois raskin
Automated Technology for Verification and Analysis
EbookSofort lieferbarThis book constitutes the proceedings of the 12th International Symposium on Automated Technology...
Tools and Algorithms for the Construction and Analysis of Systems
EbookSofort lieferbarThis bookconstitutes the proceedings of the 22nd International Conference on Tools andAlgorithms...
Formal Modeling and Analysis of Timed Systems
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 5th International Conference on Formal Mode...
Principles of Systems Design
EbookSofort lieferbarThis Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022.
Formal Modeling and Analysis of Timed Systems
TaschenbuchBezug 11-15This volume consists of the proceedings of the Fifth International Conference on Formal Modelling...
Automated Technology for Verification and Analysis
TaschenbuchBezug 11-15This book constitutes the proceedings of the 12th International Symposium on Automated Technol...
Tools and Algorithms for the Construction and Analysis of Systems
TaschenbuchBezug 11-15This bookconstitutes the proceedings of the 22nd International Conference on Tools andAlgorith...
Principles of Systems Design
TaschenbuchBezug 11-15This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022...
- 1