^^PAGEHEADLINE ^^
-
Automated Technology for Verification and Analysis
Springer Verlag GmbH 22.09.2016 - 2016Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the proceedings of the 14th International Symposium on Automated Technology...
-
Tools and Algorithms for the Construction and Analysis of Systems
Springer Verlag GmbH 31.03.2017 - 2017Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThe two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Confere...
-
Tools and Algorithms for the Construction and Analysis of Systems
Springer Verlag GmbH 31.03.2017 - 2017Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThe two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Confere...
-
Formal Modeling and Analysis of Timed Systems
Springer Verlag GmbH 19.08.2014 - 2014Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenInhaltsangabeThe Modeling and Analysis of Mixed-Criticality Systems.- Modeling Bitcoin Contracts ...
-
From Programs to Systems - The Systems Perspective in Computing
Springer Verlag GmbH 11.03.2014 - 2014Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen'From Programs to Systems - The Systems Perspective in Computing' workshop (FPS 2014) was held in...
-
Hardware and Software: Verification and Testing
Springer Verlag GmbH 31.10.2013 - 2013Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the 9th International Haifa Verification Confer...
-
Runtime Verification
Springer Verlag GmbH 19.08.2013 - 2013Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenInhaltsangabeInvited Papers.- Executing Specifications using Synthesis and Constraint Solving.- R...
-
Model Checking Software
Springer Verlag GmbH 14.09.2019 - 2019Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the 26th International Symposium on Model Check...
- 1