Temporal Verification of Reactive Systems: Safety

Temporal Verification of Reactive Systems: Safety

Product ID: 1461287014 Condition: New

$ 350
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA Mastercard ozow

Product Description

Temporal Verification of Reactive Systems: Safety

Technical Specifications

Country
USA
Brand
Springer
Manufacturer
Springer
Binding
Paperback
PartNumber
biography
IsAdultProduct
Height
9.2499815
Length
6.0999878
Weight
1.64023922928
Width
1.21
ReleaseDate
2012-08-22T00:00:01Z
NumberOfItems
1
Author
Manna, Zohar, Pnueli, Amir