Duration Calculus

English, Paperback, Chaochen Zhou, Michael R Hansen
Ratings
BrandMore from Springer
Delivered between Tue, 8.9. and Thu, 10.9.
More than 10 items ordered
free shipping

Book cover2

Product details

The book "Duration Calculus" offers a comprehensive introduction to the formal foundations of Duration Calculus, a specialized logic for the development of real-time systems. It addresses the unique features of this logic that allow for the precise expression and analysis of time durations of states in real-time systems. Through a clear and systematic presentation, the concept of Duration Calculus is explained for both formal specification and verification of real-time systems. The book also includes selected case studies that illustrate the practical application of Duration Calculus, as well as a comprehensive overview of current research in this field. It is aimed at master's and doctoral level students, as well as experienced researchers and professionals involved in the development and analysis of real-time systems.

Key specifications

topic
Technology & IT
Subtopic
Computer science
Language
English
Author
Chaochen Zhou, Michael R Hansen
Year
2010
Number of pages
250
Book cover
Paperback

General information

Item number
55375760
Publisher
Springer
Category
Reference books
Release date
4.3.2025

Book properties

topic
Technology & IT
Subtopic
Computer science
Language
English
Author
Chaochen Zhou, Michael R Hansen
Year
2010
Number of pages
250
Edition
1
Book cover
Paperback

Voluntary climate contribution

CO₂ emissions
0.35 kg
Climate contribution
CHF 0.11

Product dimensions

Height
235 mm
Width
155 mm

30-day right of return if unopened
No warranty

Compare products

Show all

Goes with

Reviews & Ratings

Warranty score

How often does a product of this brand in the «Reference books» category have a defect within the first 24 months?

Source: Digitec Galaxus
  • 1.Reclam
    0 %
  • 1.Rheinwerk
    0 %
  • 1.Springer
    0 %
  • 1.Stämpfli
    0 %
  • 1.Urban & Fischer
    0 %

Warranty case duration

How many working days on average does it take to process a warranty claim from when it arrives at the service centre until it’s back with the customer?

Source: Digitec Galaxus
  • Springer
    Not enough data
  • An der Ruhr
    Not enough data
  • Anaconda
    Not enough data
  • Artist Ahead
    Not enough data
  • Avery Publishing Group
    Not enough data

Unfortunately, we don't have enough data for this category yet.

Return rate

How often is a product of this brand in the «Reference books» category returned?

Source: Digitec Galaxus
  • 65.Orell Füssli
    1.2 %
  • 65.Rheinwerk
    1.2 %
  • 65.Springer
    1.2 %
  • 65.Urban & Fischer
    1.2 %
  • 73.Campus
    1.3 %
Source: Digitec Galaxus