Вы здесь

Главная

P.

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

Algebraic Semantics of an Imperative Programming Language as a Compiler Abstract Model
A Three-Level Approach to C# Program Verification
Integrated Enterprise-Level Security Solution "Vostok"
Logical Characterization of Probablistic theta-Bisimulation Equivalents
Model-checking mu-Calculus in Well-Structured Transition Systems