Bienvenue chez nous !
Mon Ex Libris

Modal and Temporal Properties of Processes

(0)
Donner la première évaluation
Recently, temporal and modal logic, process calculus, and model checking have become essential software techniques for the formal ...

Prix bas

CHF110.40

Impression sur demande - l'exemplaire sera recherché pour vous.

Souvent achetés ensemble

D’autres clients ont aussi acheté