This is the product description text that will appear here.
Quantity
1
Description
Texts in Computer Science Stirling, Colin Recently, temporal and modal logic, process calculus, and model checking have become essential software techniques for the formal verification of systems. With a clarity of presentation and its many...