Вы здесь

Главная

Handbook of Theoretical Computer Science. Formal Models and Semantics. Volume B

Связанные издания:

Algebraic Specification
Context-Free Languages
Denotational Semantics
Distributed Computing: Models and Methods
Elements of Relational Database Theory
Finite Automata
Formal Languages and Power Series
Functional Programming and Lambda Calculus
Graph Rewriting: An Algebraic and Logic Approach
Logic Programming
Logics of Programs
Methods and Logics for Proving Programs
Operational and Algebraic Semantics of Concurrent Processes
Recursive Applicative Program Schemes
Rewrite Systems
Semantics Domains
Temporal and Modal Logic
Type Systems for Programming Languages