Reactive Systems: Modelling, Specification and Verification
4.5 (1,234)
Sold 100+ last 30 days
20% off first order
$120.00
Color
Black
Quantity
Product description loading
Product description loading
This is the product description text that will appear here.
Quantity
1
Description
Reactive Systems: Modelling, Specification and Verification Luca Aceto, Anna Ingolfsdottir, and Kim Guldstrand Larsen is an English-language textbook aimed at the specification and verification of software and distributed systems. This refe...