Temporal Verification of Reactive Systems: Safety

Name: Temporal Verification of Reactive Systems: Safety
Brand: Springer
SKU: 25e03683e38c2d1030b9baf2dc0e5653

1/1

Prices from

56.23

Featured

Description

Amazon Pages: 530, Edition: 1995, Hardcover, Springer

Compare webshops (2)

Shop

Price

£ 56.23

To Shop

£ 56.23

To Shop

Description (1)

Pages: 530, Edition: 1995, Hardcover, Springer

Brand	Springer
EAN	9780387944593

Cambridge University Press

Reactive Systems: Modelling, Specification and Verification

Springer

Functional Verification of Dynamically Reconfigurable FPGA-based Systems

Springer

Temporal Networks (Understanding Complex Systems)

Springer

Temporal Networks (Understanding Complex Systems)