Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Duration Calculus

Duration Calculus

A Formal Approach to Real-Time Systems

by Michael R. Hansen, Chaochen Zhou

Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2010

₹8,292

Free delivery. Nothing extra to pay at checkout.

  • Delivery in 3–7 days to any serviceable pincode in India, with tracking.
  • Cash on delivery. Pay when the parcel reaches you.
  • 15-day returns. See what qualifies.

About this book

Duration Calculus: A Formal Approach to Real-Time Systems by Michael R. Hansen & Chaochen Zhou is a 250-page book published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K in 2010. The book is part of the Monographs in Theoretical Computer Science An EATCS Series series.

Its main subjects are Logic design, Computer science, Software engineering and Real-time data processing.

Book details

ISBN-13
9783642074042
ISBN-10
3642074049
Authors
Michael R. Hansen, Chaochen Zhou
Published
2010
Series
Monographs in Theoretical Computer Science An EATCS Series
Edition
Softcover reprint of hardcover 1st ed. 2004
Pages
250
Language
English
Condition
New
See all