Duration Calculus

English, Chaochen Zhou, Michael R. Hansen, 2003
Ratings
BrandMore from Springer
Delivered between Fri, 2.10. and Fri, 9.10.
free shipping

Book cover2

Product details

Duration calculus constitutes a formal approach to the development of real-time systems. As an interval logic with special features for expressing and analyzing time durations of states in real-time systems, it allows for representing and formally reasoning about requirements and designs at an appropriate level of abstraction. This book presents the logical foundations of duration calculus in a coherent and thorough manner. Through selective case studies, it explains how duration calculus can be applied to the formal specification and verification of real-time systems. The book also contains an extensive survey of the current research in this field. The material included in this book has been used for graduate and postgraduate courses, while it is also suitable for experienced researchers and professionals.

Key specifications

topic
Technology & IT
Language
English
Author
Chaochen Zhou, Michael R. Hansen
Year
2003
Number of pages
250
Book cover
Hardcover

General information

Item number
35139759
Publisher
Springer
Category
Reference books
Manufacturer No.
9783540408239
Release date
17.5.2023

Book properties

topic
Technology & IT
Language
English
Author
Chaochen Zhou, Michael R. Hansen
Year
2003
Number of pages
250
Edition
1
Book cover
Hardcover

Voluntary climate contribution

CO₂ emissions
0.35 kg
Climate contribution
CHF 0.11

Product dimensions

Height
235 mm
Width
155 mm
Weight
502 g

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