Reactive Systems: Modelling, Specification and Verification

Name: Intertaal Reactive Systems: Modelling, Specification and Verification - Reactive Systems: Modelling, Specification and Verification
Brand: Intertaal
SKU: 56398349271380
Price: 118.0 USD
Availability: InStock

4.5 (1,234)

Sold 100+ last 30 days

20% off first order

$118.00

Quantity

Color

Black

Quantity

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 reference work is intended for professionals and students seeking a balanced introduction to formal meth

Returns accepted within 14 days

Exclusions may apply. See full policy

Intertaal

5 (10)

Product description loading

This is the product description text that will appear here.

Returns accepted within 14 days

Exclusions may apply. See full policy

Intertaal

5 (10)

Reactive Systems: Modelling, Specification and Verification

Intertaal

You might also like

Intertaal

You might also like

Reactive Systems: Modelling, Specification and Verification

Description

Delivery & Returns

Intertaal

You might also like

Description

Delivery & Returns

Intertaal

You might also like