^^PAGEHEADLINE ^^
-
Formal Methods: Foundations and Applications
Springer Verlag GmbH 27.01.2015 - 2015Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian S...
-
Recent Trends in Algebraic Development Techniques
Springer Verlag GmbH 13.04.2013 - 2013Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenInhaltsangabeOpen Multiparty Interaction.- Behaviour Protection in Modular Rule-Based System Spec...
-
Logic, Rewriting, and Concurrency
Springer Verlag GmbH 21.08.2015 - 2015Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen -
Rewriting Logic and Its Applications
Springer Verlag GmbH 11.12.2020 - 2020Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes selected papers from the 12th International Workshop on Rewriting Logic and...
-
Rewriting Logic and Its Applications
Springer Verlag GmbH 02.08.2024 - 2024Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes revised selected papers from the refereed proceedings of the 15th Internati...
- 1