Item #: 1123724 | Model #: 9783540408239
Duration Calculus: A Formal Approach to Real-Time Systems
Rollover image to zoom in
https://www.staples-3p.com/s7/is/image/Staples/m001248684_sc7?wid=512&hei=512

Duration Calculus: A Formal Approach to Real-Time Systems

No reviews yet
Share:
This item is currently out of stock for delivery
$154.99
This item not available in stores

Staples memberships could save you more | Learn More

Product Details
  • Author Name: Chaochen Zhou, Michael Hansen
  • No of Pages: 250 Pages
  • Publisher: Springer
Go to full description & specifications


154.99
154.99
https://www.staples-3p.com/s7/is/image/Staples/m001248684
09783540408239
Assorted Publishers
Duration Calculus: A Formal Approach to Real-Time Systems
Product Description
Duration Calculus by Chaochen Zhou, Michael Hansen - Covers duration calculus for modelling, analyzing and verifying real time systems

Duration Calculus by Chaochen Zhou, Michael Hansen is a helpful resource that gives duration calculus for modelling, analyzing and verifying real time systems and provides theoretical results in the form of case studies.

  • Author Name: Chaochen Zhou, Michael Hansen
  • No of Pages: 250 Pages
  • Publisher: Springer
  • Publishing Date: December 04, 2003
  • Language: English
  • ISBN -10: 3540408231
  • ISBN -13: 978-3540408239
  • Edition: 2004
Specifications
Author Name Chaochen Zhou, Michael Hansen
Book Cover Hardcover
Reviews