Del 16503 i serien Lecture Notes in Computer Science
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
Häftad, Engelska, 2026
569 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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.
Produktinformation
- Utgivningsdatum2026-04-16
- Mått155 x 235 x 37 mm
- Vikt1 013 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor660
- FörlagSpringer Nature Switzerland AG
- ISBN9783032227294
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Initial Algebras and Terminal Coalgebras
Jiří Adámek, Stefan Milius, Lawrence S. Moss
Inbunden, 2025
2 619 kr
Del 12288
Del 10503
Del 15760
Principles of Formal Quantitative Analysis
Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz
Häftad, 2025
1 039 kr
- Nyhet
Del 6
- Nyhet
Del 2
- Nyhet