Kennen Sie schon unseren Geschäftskundenservice? Wir beraten Sie gerne.
Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor
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
Buch (broschiert)56.90 CHF
lieferbar in ca. 20-45 Arbeitstagen

Inhalt

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.

Bibliografische Angaben

Mai 2025, 424 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-90896-5

Schlagworte

Weitere Titel der Reihe: Lecture Notes in Computer Science

Alle anzeigen
Lectures on Parallel Computing
Springer International Publishing, 2025
978-3-031-86577-0
ca. 91.00 CHF
erhältlich ab Oktober 2025

Weitere Titel zum Thema

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
ca. 55.90 CHF
erhältlich ab Januar 2026
Revival Movements as Conflict Agendas of the Popular in the Nineteenth and ...
Springer International Publishing, 2025
978-3-031-75116-5
70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Lean Innovative Connected Vessels
The LINCOLN Project
Springer International Publishing, 2026
978-3-030-35705-4
ca. 69.00 CHF
erhältlich ab April 2026
Faszination Unendlichkeit
Von Wiener Walzer bis zu mengentheoretischen Spielen
Springer, 2026
978-3-662-69708-5
ca. 37.90 CHF
erhältlich ab März 2026
Handbook of Military Sciences
Springer Nature EN, 2026
978-3-030-27278-4
535.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
The Foundations of Multi-channel Neighborhood Governance
Springer International Publishing, 2025
978-3-031-75123-3
159.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Revisiting Premodern Islamic Science and Experience
Springer International Publishing, 2025
978-3-031-76084-6
70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Data-Driven Learning in the EU
From Administrative Sources to Public Value
Springer International Publishing, 2026
978-3-031-99031-1
ca. 69.00 CHF
erhältlich ab Januar 2026