^^PAGEHEADLINE ^^
-
Algebra and Coalgebra in Computer Science
Springer Verlag GmbH 18.08.2005 - 2005Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the First International Conference on Algebra a...
-
Recent Trends in Algebraic Development Techniques
Springer Verlag GmbH 08.12.2017 - 2017Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3...
-
Formal Methods for Software Engineering
Springer Verlag GmbH 23.06.2022 - 2022Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenSoftware programs are formal entities with precise meanings independent of their programmers, so ...
-
Formal Methods - Fun for Everybody
Springer Verlag GmbH 11.03.2021 - 2021Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis volume constitutes the post-workshop proceedings of the First International Workshop on Form...
-
Recent Trends in Algebraic Development Techniques
Springer Verlag GmbH 11.04.2021 - 2021Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the thoroughly refereed post-conference proceedings of the 25th Internation...
-
Formal Methods for Software Engineering
Springer Verlag GmbH 24.06.2023 - 2023Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenSoftware programs are formal entities with precise meanings independent of their programmers, so ...
-
Applicable Formal Methods for Safe Industrial Products
Springer Verlag GmbH 17.08.2023 - 2023Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers ...
- 1