Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /

This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Softwar...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Bouyer, Patricia (Editor), Schröder, Lutz (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2022.
Edition:	1st ed. 2022.
Series:	Lecture Notes in Computer Science, 13242
Subjects:	Computer science. Mathematical logic. Data structures (Computer science). Information theory. Computer systems. Computer science-Mathematics. Theory of Computation. Mathematical Logic and Foundations. Data Structures and Information Theory. Computer System Implementation. Mathematics of Computing. Electronic books.
Online Access:	Connect to the full text of this electronic book