^^PAGEHEADLINE ^^
-
Computational Methods in Systems Biology
Springer Verlag GmbH 04.09.2016 - 2016Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the 14th International Conference on Computatio...
-
Runtime Verification
Springer Verlag GmbH 11.09.2015 - 2015Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen -
Model Checking Software
Springer Verlag GmbH 19.07.2013 - 2013Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenInhaltsangabeExplicit-state model checking techniques.- Other related tools.- Techniques for the ...
-
Lectures on Runtime Verification
Springer Verlag GmbH 11.02.2018 - 2018Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThe idea of this volume originated from the need to have a book for students to support their tra...
-
From Reactive Systems to Cyber-Physical Systems
Springer Verlag GmbH 21.09.2019 - 2019Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen -
Formal Methods in Outer Space
Springer Verlag GmbH 28.09.2021 - 2021Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in...
- 1