Bertrand / Milius

Foundations of Software Science and Computation Structures

29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings

Springer

ISBN 978-3-032-22729-4

Standardpreis

42,79 €

Jetzt vorbestellen! Wir liefern bei Erscheinen (Erscheint vsl. Mai 2026)

Preisangaben inkl. MwSt. Abhängig von der Lieferadresse kann die MwSt. an der Kasse variieren. Weitere Informationen

Bibliografische Daten

Fachbuch

Buch. Softcover

2026

103 s/w-Abbildungen.

In englischer Sprache

Format (B x L): 15,5 x 23,5 cm

Verlag: Springer

ISBN: 978-3-032-22729-4

Weiterführende bibliografische Daten

Das Werk ist Teil der Reihe: Lecture Notes in Computer Science

Produktbeschreibung

This open access book constitutes the proceedings of the 29th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11–16, 2026. The 30 papers included in these proceedings were carefully reviewed and selected from 104 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.

Autorinnen und Autoren

Produktsicherheit

Hersteller

Springer Nature Customer Service Center GmbH

Europaplatz 3
69115 Heidelberg, DE

ProductSafety@springernature.com

Topseller & Empfehlungen für Sie

Ihre zuletzt angesehenen Produkte