Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

Product ID: 3642086802 Condition: New

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

Product Description

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

Technical Specifications

Country
USA
Brand
Springer
Manufacturer
Springer
Binding
Paperback
PartNumber
34 black & white illustrations, biograph
IsAdultProduct
Height
9.2499815
Length
6.0999878
Weight
1.36907064702
Width
1.01
ReleaseDate
2010-11-25T00:00:01Z
NumberOfItems
1
Author
Kröger, Fred, Merz, Stephan