Connaissez-vous déjà notre service clients professionnels ? Nous nous ferons un plaisir de vous conseiller.
Focus
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
Foundations of Software Science and Computation Structures
Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings
Livre (broché)56.90 CHF
livrable dans env. 20-45 jours

Contenu

This open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, which took place in Hamilton, Canada, during May 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025. The 19 papers included in these proceedings were carefully reviewed and selected from 58 submissions. They focus on foundational research in software science on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

Informations bibliographiques

mai 2025, 424 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-90896-5

Mots-clés

Autres titres de la collection: Lecture Notes in Computer Science

Afficher tout
Lectures on Parallel Computing
Springer International Publishing, 2025
978-3-031-86577-0
env. 91.00 CHF
disponible dès octobre 2025

Autres titres sur ce thème

The Water, Energy, and Food Security Nexus in Asia and the Pacific
East and Southeast Asia
Springer International Publishing, 2026
978-3-031-12497-6
env. 55.90 CHF
disponible dès janvier 2026
Annals of Scientific Society for Assembly, Handling and Industrial Robotics 2023
Springer International Publishing, 2025
978-3-031-74009-1
56.90 CHF
livrable dans env. 20-45 jours
Handbook of Military Sciences
Springer Nature EN, 2026
978-3-030-27278-4
535.00 CHF
livrable dans env. 20-45 jours
Recent Advances in Computational Optimization
Results of the Workshop on Computational Optimization WCO 2023
Springer International Publishing, 2025
978-3-031-74757-1
207.00 CHF
livrable dans env. 20-45 jours
Italy and the 'Shock of the Global' during the 1970s
Springer International Publishing, 2025
978-3-031-82145-5
70.00 CHF
livrable dans env. 20-45 jours
The Palgrave Handbook of Just Green Transitions in the Western Balkans and ...
Springer International Publishing, 2026
978-3-031-95074-2
env. 69.00 CHF
disponible dès janvier 2026
Measures of Religiosity and Spirituality
Springer International Publishing, 2026
978-3-031-48343-1
env. 69.00 CHF
disponible dès mai 2026