Bienvenue chez nous !
Mon Ex Libris

Modal and Temporal Properties of Processes

(0)
Donner la première évaluation
In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of prese...

CHF59.90

Download est disponible immédiatement

Souvent achetés ensemble

D’autres clients ont aussi acheté