DURATION CALCULUS (HB 2004). This item is unavailable.
Language: English
Published by SPRINGER, 2004
- Hardcover
- New
Seller: UK BOOKS STORE, London, London, United KingdomUK BOOKS STORE
AbeBooks seller since March 11, 2024
Condition: New
£ 201.02
Item description from seller
Brand New ! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Seller Inventory # Cvs 9783540408239
- Title
- DURATION CALCULUS (HB 2004)
- Author
- CHAOCHEN Z.
- Publisher
- SPRINGER
- Publication year
- 2004
- Condition
- New
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 3540408231
- ISBN 13
- 9783540408239
- Edition
- International Edition
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.
"Synopsis" may belong to another edition of this title.
About the Author
Professor ZHOU Chaochen, Institute of Software, Chinese Academy of Sciences. Members of Chinese Academy of Sciences and the Third World Academy of Sciences. Former Director of International Institute for Software Technology, United Nations University. He has had about 30 years research experience in the area of formal techniques for computing systems, in particular for distributed and real-time systems.
Associate Prof. Michael R. Hansen. Informatics and Mathematical Modelling, Technical University of Denmark
Research interests:
Formal Methods, Computer Based Systems, Real-time systems, Hybrid systems, Duration Calculus.
"About the title" may belong to another edition of this title.