^^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...
-
Formal Techniques for Safety-Critical Systems
Springer Verlag GmbH 16.02.2017 - 2017Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the 5th International Workshop on Formal Techni...
-
Formal Techniques for Safety-Critical Systems
Springer Verlag GmbH 22.04.2014 - 2014Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, ...
-
Formal Techniques for Safety-Critical Systems
Springer Verlag GmbH 23.04.2015 - 2015Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the Third International Workshop on Formal Tech...
-
Formal Techniques for Safety-Critical Systems
Springer Verlag GmbH 03.02.2016 - 2016Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the 4th International Workshop on Formal Techni...
-
Formal Techniques for Safety-Critical Systems
Springer Verlag GmbH 02.02.2019 - 2019Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the 6th International Workshop on Formal Techni...
- 1