Title 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 / Patricia Bouyer, Lutz Schröder (eds.).

Publication Info.

Cham, Switzerland : Springer, 2022.

Copies

Location	Call No.	Status
University of Saint Joseph: Pope Pius XII Library - Internet	WORLD WIDE WEB E-BOOK Springer	Downloadable
Please click here to access this Springer resource

Description	1 online resource (xvi, 471 pages) : illustrations.
Series	Lecture notes in computer science, 1611-3349 ; 13242
	Advanced research in computing and software science
	Lecture notes in computer science ; 13242. 1611-3349
	Lecture notes in computer science. Advanced research in computing and software science.
Access	Open access. GW5XE
Summary	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 Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Note	Includes author index.
	Online resource; title from PDF title page (SpringerLink, viewed April 5, 2022).
Local Note	Springer Nature Springer Nature Open Access eBooks
Subject	Computer software -- Congresses.
	Software engineering -- Congresses.
	Computer software. (OCoLC)fst00872527
	Software engineering. (OCoLC)fst01124185
Genre/Form	Electronic books.
	Conference papers and proceedings. (OCoLC)fst01423772
Added Author	Bouyer, Patricia, 1976- editor. https://orcid.org/0000-0002-2823-0911.
	Schröder, Lutz, editor. https://orcid.org/0000-0002-3146-5906.
	ETAPS (Conference) (25th : 2022 : Munich, Germany)
Added Title	FOSSACS 2022
Other Form:	Original 3030992527 9783030992521 (OCoLC)1302580416
ISBN	9783030992538 (electronic book)
	3030992535 (electronic book)
	9783030992521 (print)
	3030992527
Standard No.	10.1007/978-3-030-99253-8 doi

-->

Permanent Link

Add a Review

Title 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 / Patricia Bouyer, Lutz Schröder (eds.).

Copies

Library Links

Search Tools

Language Settings