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







