Search Results - "software specification and refinement"
Suggested Topics within your search.
Suggested Topics within your search.
- emerging models of computation 5
- language theory, automata, and games 5
- logical aspects of computational complexity 5
- logics of programming 5
- modal, spatial, and temporal logics 5
- models of software security 5
- software specification and refinement 5
- categorical models and logics 4
- program analysis 4
- thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations 4
- concurrency theory 3
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures 3
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation 3
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design 3
- concurrency theory and process calculi 2
- rewriting theory 2
- semantics of programming languages 2
- thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPF Information theory 2
- thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD Mathematical logic 2
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists 2
- type theory and proof theory 2
- Artificial intelligence 1
- Categorical models and logics 1
- Compilers & interpreters 1
- Computer Systems Organization and Communication Networks 1
- Computer networking & communications 1
- Computer programming / software engineering 1
- Discrete Mathematics in Computer Science 1
- Discrete mathematics 1
- Logic in AI 1
-
Foundations of Software Science and Computation Structures
Published 2024Subjects: “…software specification and refinement…”
Get full text
Online -
Foundations of Software Science and Computation Structures
Published 2024Subjects: “…software specification and refinement…”
Get full text
Online -
Foundations of Software Science and Computation Structures
Published 2025Subjects: “…software specification and refinement…”
Get full text
Online -
Foundations of Software Science and Computation Structures
Published 2020Subjects: “…software specification and refinement…”
Get full text
Online -
Foundations of Software Science and Computation Structures
Published 2022Subjects: “…software specification and refinement…”
Get full text
Online