
Functional Programming Using F#
Michael R. Hansen, Hans Rischel
₹5,014

A Formal Approach to Real-Time Systems
by Michael R. Hansen, Chaochen Zhou
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2010
Free delivery. Nothing extra to pay at checkout.
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.