^^PAGEHEADLINE ^^
-
Automated Technology for Verification and Analysis
Springer Verlag GmbH 29.09.2014 - 2014Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the proceedings of the 12th International Symposium on Automated Technology...
-
Tools and Algorithms for the Construction and Analysis of Systems
Springer Verlag GmbH 09.04.2016 - 2016Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis bookconstitutes the proceedings of the 22nd International Conference on Tools andAlg...
-
Principles of Systems Design
Springer Verlag GmbH 29.12.2022 - 2022Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022...
- 1