Siirry suoraan sisältöön
Modal and Temporal Properties of Processes
Tallenna

Modal and Temporal Properties of Processes

Kirjailija:
sidottu, 2001
englanti
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.
Kirjailija
Colin Stirling
Painos
2001 ed.
ISBN
9780387987170
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
6.7.2001
Sivumäärä
191