Biblioteca da Universidade do Minho

Your cart is empty.
Normal view MARC view ISBD view

Duration calculus : a formal approach to real-time systems / Zhou Chaochen, Michael R. Hansen

Main Author Zhou Chaochen, 1937- Coauthor Hansen, Michael R. Country Alemanha. Publication Berlin : Springer, [imp. 2010] Description X, 247 p. : il. ; 25 cm Series EATCS monographs on theoretical computer science ISBN 978-3-540-40823-9 CDU 510.5 519.68
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Holdings
Item type Current location Call number Status Date due Barcode Item holds
Monografia Biblioteca Geral da Universidade do Minho
BGUM 510.5 - Z Available 404273
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.