Skip to main content

CURRENTLY SOLD OUT

Duration Calculus: A Formal Approach to Real-Time Systems by Chaochen Zhou, Michael R. Hansen (Hardcover, 2003)

About this product

About this product

Product Information

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.

Product Identifiers

Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783540408239
eBay Product ID (ePID)
95560028

Product Key Features

Author
Chaochen Zhou, Michael R. Hansen
Publication Name
Duration Calculus: a Formal Approach to Real-Time Systems
Format
Hardcover
Language
English
Subject
Computer Science
Publication Year
2003
Type
Textbook
Number of Pages
250 Pages

Dimensions

Item Height
235mm
Item Width
155mm
Item Weight
1210g

Additional Product Features

Title_Author
Michael R. Hansen, Chaochen Zhou
Series Title
Monographs in Theoretical Computer Science. an Eatcs Series
Country/Region of Manufacture
Germany

Best Selling in Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

Time Management by Peter Quarry (Paperback, 1986)
No ratings or reviews yet.
AU $16.99 New
---- Used
Complete Illustrated Encyclopedia of Dinosaurs & Prehistoric Creatures by Dixon Dougal (Paperback, 2014)
5.0 out of 5 stars based on 6 product ratings
AU $41.64 New
---- Used
Polyvagal Exercises for Safety and Connection: 50 Client-Centered Practices by Deb Dana (Paperback, 2020)
No ratings or reviews yet.
AU $53.39 New
AU $45.00 Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

Ford Falcon EF EL / Fairlane NF NL 1994 - 1998 Workshop Manual
AU $49.00
Trending at AU $60.40
Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $124.20
Sapiens A Brief History of Humankind by Yuval Noah Harari Paperback Book NEW
AU $19.57
Trending at AU $19.77
BORN IN 1971?... 1951?BIRTHDAY...Australian Social History....Chrisi, Birthdays
AU $19.00
Trending at AU $22.18
Michael Price Nick Vandome Windows 11 for Seniors in easy steps (Paperback)
AU $32.73
Trending at AU $36.70
It's Not You: How to Identify and Heal from NARCISSISTIC People by Ramani Durvas
AU $35.00
Trending at AU $37.67

You may also like

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- You may also like