Chaochen Zhou Michael R Hansen (9 results)

Author:

Refine with Advanced Search

Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. An EATCS Series)
Zhou, Chaochen; Hansen, Michael R.
Language: English
Published by Springer, 2010
3642074049 / 9783642074042
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
5-star seller
Contact seller
Condition: New
£ 94.84
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Condition: New. In.
Discover more from Chaochen Zhou
Explore their published works and collectible offers.Explore Chaochen Zhou
Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. An EATCS Series)
Zhou, Chaochen; Hansen, Michael R.
Language: English
Published by Springer, 2003
3540408231 / 9783540408239
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
5-star seller
Contact seller
Condition: New
£ 96.88
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Condition: New. In.
Duration Calculus : A Formal Approach to Real-Time Systems
Zhou, Chaochen; Hansen, Michael R.
Language: English
Published by Springer, 2003
3540408231 / 9783540408239
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
5-star seller
Contact seller
Condition: New
£ 113.13
£ 1.95 shipping
Ships within U.S.A.
Quantity: Over 20 available
Condition: New.
Duration Calculus : A Formal Approach to Real-Time Systems
Zhou, Chaochen; Hansen, Michael R.
Language: English
Published by Springer, 2003
3540408231 / 9783540408239
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
5-star seller
Contact seller
Condition: New
£ 96.87
£ 15.00 shipping
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Condition: New.
Duration Calculus : A Formal Approach to Real-Time Systems
Zhou, Chaochen; Hansen, Michael R.
Language: English
Published by Springer, 2003
3540408231 / 9783540408239
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
5-star seller
Contact seller
Condition: Used - As new
£ 159.99
£ 15.00 shipping
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. An EATCS Series)
Zhou, Chaochen, Hansen, Michael R.
Language: English
Published by Springer, 2003
3540408231 / 9783540408239
- Hardcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
4-star seller
Contact seller
Condition: Used - As new
£ 152.00
£ 25.00 shipping
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Duration Calculus : A Formal Approach to Real-Time Systems
Zhou, Chaochen; Hansen, Michael R.
Language: English
Published by Springer, 2003
3540408231 / 9783540408239
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
5-star seller
Contact seller
Condition: Used - As new
£ 185.04
£ 1.95 shipping
Ships within U.S.A.
Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Duration Calculus
Chaochen Zhou|Michael R. Hansen
Language: English
Published by Springer Berlin Heidelberg, 2003
3540408231 / 9783540408239
- Hardcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
5-star seller
Contact seller
Condition: New
£ 81.60
£ 42.06 shipping
Ships from Germany to U.S.A.
Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Comprehensive introduction to interval logic and duration calculus, for modelling, analysing and verifying real-time systemsCovers theory (completeness, decidability, undecidability, model-checking) results, as well as case studies (Deadline Drive. …
Duration Calculus
Chaochen Zhou|Michael R. Hansen
Language: English
Published by Springer Berlin Heidelberg, 2010
3642074049 / 9783642074042
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
5-star seller
Contact seller
Condition: New
£ 81.60
£ 42.06 shipping
Ships from Germany to U.S.A.
Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Comprehensive introduction to interval logic and duration calculus, for modelling, analysing and verifying real-time systemsCovers theory (completeness, decidability, undecidability, model-checking) results, as well as case studies (Deadline Drive. …