Duration Calculus: A Formal Approach to Real-Time Systems - Monographs in Theoretical Computer Science. An EATCS Series (Hardback)
  • Duration Calculus: A Formal Approach to Real-Time Systems - Monographs in Theoretical Computer Science. An EATCS Series (Hardback)
zoom

Duration Calculus: A Formal Approach to Real-Time Systems - Monographs in Theoretical Computer Science. An EATCS Series (Hardback)

(author), (author)
£119.99
Hardback 250 Pages / Published: 04/12/2003
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket

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. In DC real numbers are used to model time and Boolean-valued (i.e. {0,1}-valued) functions over time to model states of real-time systems. The duration of a state in a time interval is the accumulated presence time of the state in the interval. DC extends interval logic to a calculus to specify and reason about properties of state durations. The text covers theory (completeness, decidability, undecidability, model-checking), results, as well as case studies (Deadline Driven Scheduler).

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540408239
Number of pages: 250
Weight: 1210 g
Dimensions: 235 x 155 x 15 mm
Edition: 2004 ed.

You may also be interested in...

Automate The Boring Stuff With Python
Added to basket
Python Pocket Reference
Added to basket
Python 3 for Absolute Beginners
Added to basket
Learning Python
Added to basket
£51.99
Paperback
Code
Added to basket
£21.99
Paperback
C++ Pocket Reference
Added to basket
C++ For Dummies
Added to basket
£21.99
Paperback
JavaScript in Easy Steps
Added to basket
The Bride of Science
Added to basket
User Story Mapping
Added to basket
£27.99
Paperback
Python in Easy Steps
Added to basket
Coding for Beginners in easy steps
Added to basket
SQL in Easy Steps
Added to basket
£10.99
Paperback
How to Build a Billion Dollar App
Added to basket
C Programming Language
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.