Duration Calculus: A Formal Approach to Real-Time Systems - Monographs in Theoretical Computer Science. An EATCS Series - Chaochen Zhou - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540408239 - December 4, 2003
In case cover and title do not match, the title is correct

Chaochen Zhou
Duration Calculus: A Formal Approach to Real-Time Systems - Monographs in Theoretical Computer Science. An EATCS Series 2004 edition

Price
HK$ 829
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Aug 3 - 7
Get notified about new Chaochen Zhou releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

A comprehensive introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. The duration of a state in a time interval is the accumulated presence time of the state in the interval.

250 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released December 4, 2003
ISBN13 9783540408239
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 250
Dimensions 155 × 235 × 15 mm   ·   494 g
Language English   German  

More from the same publisher

See all of Chaochen Zhou ( e.g. Hardcover Book and Paperback Book )