Name: Duration Calculus
Price: 106 CHF
Availability: InStock
ISBN: 9783540408239

productDetailPageQuery

Zurich

Lausanne

Wohlen

Basel

Kriens

Winterthur

Bern

Dietikon

St. Gallen

Geneva

Springer

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.

Actual product image Duration Calculus (English, Hardcover, Chaochen Zhou, Michael R. Hansen)

Key specifications

Topic

Language

Author

Year

Number of pages

Book cover

Duration Calculus

Reference books

30-day right of return – unopened

General information

Book properties

Voluntary climate contribution

Product dimensions

No warranty

Search

Settings

Customer account

Comparison lists

Watch lists

Cart

Duration Calculus

Book cover2

In Detail

Compare products

Goes with

Duration Calculus

Book cover2

Similar products with faster delivery

In Detail

Description

Specifications

Price trend

Warranty & return rates

Questions about this product0

Product ratings0

Compare products

Sales rank in Reference books

Goes with

Often bought together