Kesner / Abdulla | Foundations of Software Science and Computation Structures | Buch | 978-3-031-90896-5 | sack.de

Buch, Englisch, 424 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 657 g

Reihe: Lecture Notes in Computer Science

Kesner / Abdulla

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
Erscheinungsjahr 2025
ISBN: 978-3-031-90896-5
Verlag: Springer Nature Switzerland

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, Englisch, 424 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 657 g

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-031-90896-5
Verlag: Springer Nature Switzerland

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. 

Kesner / Abdulla Foundations of Software Science and Computation Structures jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Kesner, Delia
Abdulla, Parosh Aziz

Fachgebiete

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.