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

productDetailPageQuery

Zurich

Lausanne

Wohlen

Basel

Kriens

Winterthur

Bern

Dietikon

St. Gallen

Geneva

Springer

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.

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

Key specifications

Topic

Subtopic

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