Explore
Foundations of Software Science and Computation Structures
Patricia Bouyer and Lutz Schröder
2022
0 Ungluers have
Faved this Work
Login to Fave
The open access FOSSACS 2022 proceedings deal with research on theories and methods in the area of programs and software systems.
This book is included in DOAB.
Why read this book? Have your say.
You must be logged in to comment.
Rights Information
Are you the author or publisher of this work? If so, you can claim it as yours by registering as an Unglue.it rights holder.Downloads
This work has been downloaded 129 times via unglue.it ebook links.
- 87 - pdf (CC BY) at OAPEN Library.
- 42 - pdf (CC BY) at Unglue.it.
Keywords
- Algorithms & data structures
- categorical models and logics
- Computer programming / software development
- Computer science
- Computing & information technology
- concurrency theory and process calculi
- correctness, transformation, and verification
- emerging models of computation
- language theory, automata, and games
- logical aspects of computational complexity
- logics of programming
- Mathematical foundations
- Mathematical theory of computation
- Mathematics
- Mathematics & science
- modal, spatial, and temporal logics
- models of concurrent systems
- models of software security
- program analysis
- rewriting theory
- semantics of programming languages
- software specification and refinement
- Systems analysis & design
- type theory and proof theory
Links
DOI: 10.1007/978-3-030-99253-8web: https://link.springer.com/book/10.1007/978-3-030-99253-8