Feedback

X
Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

0 Ungluers have Faved this Work
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.
  1. 87 - pdf (CC BY) at OAPEN Library.
  2. 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-8
web: https://link.springer.com/book/10.1007/978-3-030-99253-8

Editions

edition cover
edition cover
edition cover
edition cover

Share

Copy/paste this into your site: