^^PAGEHEADLINE ^^
-
Theoretical Aspects of Computing - ICTAC 2006
Springer Verlag GmbH 30.10.2006 - 2006Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThe International Colloquium on Theoretical Aspects of Computing (ICTAC) held in 2006 in Tunis, T...
-
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability
Springer Verlag GmbH 11.03.2014 - 2014Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes revised selected papers from the following SEFM 2012 satellite events: InSu...
-
Software Engineering and Formal Methods
Springer Verlag GmbH 03.02.2018 - 2018Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes revised selected papers from the five workshops collocated with the 15th In...
-
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 ...
-
Software Engineering and Formal Methods
Springer Verlag GmbH 12.09.2020 - 2020Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the 18th International Conference on Software E...
-
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...
-
Theoretical Aspects of Computing - ICTAC 2021
Springer Verlag GmbH 20.08.2021 - 2021Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the proceedings of the 18th International Colloquium on Theoretical Aspects...
-
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
Springer Verlag GmbH 25.09.2022 - 2022Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis volume constitutes revised selected papers from the four workshops collocated with the 19th ...
-
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 ...
-
Formal Methods for an Informal World
Springer Verlag GmbH 05.11.2023 - 2023Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen -
From Data to Models and Back
Springer Verlag GmbH 15.04.2025 - 2025Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the 11th International Symposium on From Data t...
- 1