Modal and Temporal Properties of Processes

Temporal and modal logic, process calculus, and model checking have become essential software techniques for the formal verification of systems.

Toto zboží se v tuto chvíli neprodává.