Foundations of Software Science and Computation Structures: 25th International Conference, FOSSACS 2022, Held as Part of the European Joint . (Lecture Notes in Computer Science, 13242)

ISBN 10: 3030992527 / ISBN 13: 9783030992521

Published by Springer, 2022

About this Item

Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!

Seller Inventory # S_375397766

Bibliographic Details

• Title: Foundations of Software Science and Computation Structures: 25th International Conference, FOSSACS 2022, Held as Part of the European Joint . (Lecture Notes in Computer Science, 13242)
• Publisher: Springer
• Publication Date: 2022
• Language: English
• ISBN 10: 3030992527
• ISBN 13: 9783030992521
• Binding: paperback
• Condition: Good

About this title

Synopsis

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.