Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science)

Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science)

Product ID: 1468468219 Condition: New

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

Product Description

Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science)

Technical Specifications

Country
USA
Brand
Birkhauser
Manufacturer
Birkhäuser
Binding
Paperback
PartNumber
black & white illustrations, bibliograph
IsAdultProduct
Height
9.25
Length
6.1
Weight
0.41005980732
Width
0.28
ReleaseDate
2012-02-25T00:00:01Z
NumberOfItems
1
Author
Bradfield, J.C.