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.).
2022
QA76.751 .F67 2022eb
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Open access
Document Delivery Supplied
Open access
Details
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.).
Meeting Name
FOSSACS (Conference) (25th : 2022 : Munich, Germany)
ISBN
9783030992538 (electronic bk.)
3030992535 (electronic bk.)
9783030992521 (print)
3030992527
3030992535 (electronic bk.)
9783030992521 (print)
3030992527
Published
Cham, Switzerland : Springer, 2022.
Language
English
Description
1 online resource (xvi, 471 pages) : illustrations.
Item Number
10.1007/978-3-030-99253-8 doi
Call Number
QA76.751 .F67 2022eb
Dewey Decimal Classification
005.1
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.
Access Note
Open access.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed April 5, 2022).
Added Meeting Name
ETAPS (Conference) (25th : 2022 : Munich, Germany)
Series
Lecture notes in computer science ; 13242. 1611-3349
Lecture notes in computer science. Advanced research in computing and software science.
Lecture notes in computer science. Advanced research in computing and software science.
Available in Other Form
Print version: 9783030992521
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources