Duration Calculus Image close
Duration Calculus on Hardback by Chaochen Zhou
Duration Calculus on Hardback by Chaochen Zhou
Show Hide Adult Content
Duration Calculus close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming

Duration Calculus

A Formal Approach to Real-Time Systems
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$265.99
RRP:
$302.95 save $36.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $66.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Monographs in Theoretical Computer Science : an EATCS Series

See all products in this series

Domain Science and Engineering on Hardback by Dines Bjorner
$475.99
Domain Science and Engineering
by Dines Bjorner ~ Hardback
Available - Usually ships in 3-4 weeks
Compiler Generators by Mads Tofte
$261.99
Compiler Generators
by Mads Tofte ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Coloured Petri Nets by Kurt Jensen
$261.99
Coloured Petri Nets
by Kurt Jensen ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Restricted-Orientation Convexity by Eugene Fink
$135.99
Restricted-Orientation Convexity
by Eugene Fink ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Process Algebra with Timing on Hardback by J.C.M. Baeten Save $78
$139.99
$218.95
Process Algebra with Timing
by J.C.M. Baeten ~ Hardback
Available - Usually ships in 3-4 weeks
Semirings, Automata, Languages by A Salomaa Save $14
$268.99
$283.95
Semirings, Automata, Languages
by A Salomaa ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Semantic Integration of Heterogeneous Software Specifications by Martin Grosse-Rhode
$406.99
Semantic Integration of Heterogeneous Software Specifications
by Martin Grosse-Rhode ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Domain Science and Engineering by Dines Bjorner
$475.99
Domain Science and Engineering
by Dines Bjorner ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Process Algebras for Petri Nets on Hardback by Roberto Gorrieri
$221.99
Process Algebras for Petri Nets
by Roberto Gorrieri ~ Hardback
Available - Usually ships in 3-4 weeks
Kolmogorov Complexity and Computational Complexity Save $16
$263.99
$280.95
Kolmogorov Complexity and Computational Complexity
Paperback / softback
Available - Usually ships in 3-4 weeks
Data Structures and Algorithms 3 by K Mehlhorn Save $42
$137.99
$180.95
Data Structures and Algorithms 3
by K Mehlhorn ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Stochastic Coalgebraic Logic by Ernst-Erich Doberkat Save $52
$263.99
$316.95
Stochastic Coalgebraic Logic
by Ernst-Erich Doberkat ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Fundamentals of Algebraic Graph Transformation by Hartmut Ehrig
$314.99
Fundamentals of Algebraic Graph Transformation
by Hartmut Ehrig ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Process Algebra with Timing by J.C.M. Baeten Save $81
$136.99
$218.95
Process Algebra with Timing
by J.C.M. Baeten ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Fundamentals of Algebraic Specification 1 by Hartmut Ehrig Save $16
$266.99
$283.95
Fundamentals of Algebraic Specification 1
by Hartmut Ehrig ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Semantic Integration of Heterogeneous Software Specifications on Hardback by Martin Grosse-Rhode
$407.99
Semantic Integration of Heterogeneous Software Specifications
by Martin Grosse-Rhode ~ Hardback
Available - Usually ships in 3-4 weeks

Description

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.

Author Biography:

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.
Release date Australia
December 4th, 2003
Audience
  • Professional & Vocational
Illustrations
X, 250 p.
Pages
250
Dimensions
156x234x15
ISBN-13
9783540408239
Product ID
2798891

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Chaochen Zhou

See all books by this author

Duration Calculus by Chaochen Zhou Save $40
$261.99
$302.95
Duration Calculus
by Chaochen Zhou ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Functional Programming Using F# on Hardback by Michael R. Hansen
$272.99
Functional Programming Using F#
by Michael R. Hansen ~ Hardback
Available - Usually ships in 3-4 weeks
Functional Programming Using F# by Michael R. Hansen
$145.99
Functional Programming Using F#
by Michael R. Hansen ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence >
Expert systems / knowledge-based systems