Temporal Verification of Reactive Systems: Safety

Prices from
57.41

Featured

COMPARE ALL WEBSHOPS (2)

Description

Amazon Pages: 530, Edition: 1995, Hardcover, Springer
Description Description
Product Specifications Product specifications
Related Products Related Products
?>
Next
Previous

Compare webshops (2)

Shop
Price
Amazon Logo
£ 57.41
To Shop
Amazon Marketplace Logo
£ 57.41
To Shop
Description (1)

Pages: 530, Edition: 1995, Hardcover, Springer

Product specifications

Brand Springer
EAN
  • 9780387944593

Prices were last updated on:

Cambridge University Press

Reactive Systems: Modelling, Specification and Verification

£ 70.40
More Information More Info

Springer

Functional Verification of Dynamically Reconfigurable FPGA-based Systems

£ 83.01
More Information More Info

Butterworth-Heinemann

Biometric Technologies and Verification Systems

£ 48.44
More Information More Info

Springer

Taxonomies for the Development and Verification of Digital Systems

£ 83.29
More Information More Info
Featured Choice
£ 57.41
To Shop