Gå direkt till innehållet
Modal and Temporal Properties of Processes
Spara

Modal and Temporal Properties of Processes

Författare:
inbunden, 2001
Engelska
Temporal and modal logic, process calculus, and model checking have become essential software techniques for the formal verification of systems. This book helps readers understand this technical material.
Författare
Colin Stirling
Upplaga
2001 ed.
ISBN
9780387987170
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
2001-07-06
Sidor
191