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
$ 105.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 9 - 15

Our customers say:

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

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  

Mere med samme udgiver

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