Foundations of Software Science and Computation Structures: 29th International Conference, FoSSaCS 2026,...

— —

Nathalie Bertrand Stefan Milius

Foundations of Software Science and Computation Structures

Name: Foundations of Software Science and Computation Structures
Price: 81.81 AUD
Availability: PreOrder
ISBN: 9783032227294

29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences...

Nathalie Bertrand, Stefan Milius

$95.95 $81.81

Paperback

Forthcoming
Pre-Order now

QTY:

English

Springer Nature Switzerland AG
05 May 2026

Mathematical foundations; Mathematical logic; Algorithms & data structures; Mathematical theory of computation; Systems analysis & design

Series: Lecture Notes in Computer Science

Summary
Details

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.

Edited by: Nathalie Bertrand, Stefan Milius
Imprint: Springer Nature Switzerland AG
Country of Publication: Switzerland
Dimensions: Height: 235mm, Width: 155mm,
ISBN: 9783032227294
ISBN 10: 3032227291
Series: Lecture Notes in Computer Science
Pages: 647
Publication Date: 05 May 2026
Audience: Professional and scholarly , College/higher education , Undergraduate , Further / Higher Education
Format: Paperback
Publisher's Status: Forthcoming