Gå direkte til innholdet
Modal and Temporal Properties of Processes
Spar

Modal and Temporal Properties of Processes

Forfatter:
innbundet, 2001
Engelsk
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.
Opplag
2001 ed.
ISBN
9780387987170
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
6.7.2001
Antall sider
191