^^PAGEHEADLINE ^^
-
Formal Techniques for Distributed Objects, Components, and Systems
Springer Verlag GmbH 27.06.2016 - 2016Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the proceedings of the 36th IFIP WG 6.1International Conference on Formal T...
-
Logic-Based Program Synthesis and Transformation
Springer Verlag GmbH 03.05.2013 - 2013Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenInhaltsangabeSymbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing ...
-
Integrated Formal Methods
Springer Verlag GmbH 15.09.2014 - 2014Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the 11th International Conference on Integrated...
-
Fundamental Approaches to Software Engineering
Springer Verlag GmbH 24.05.2026 - 2026Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen
- 1