Biblioteca da Universidade do Minho

Your cart is empty.
Zhou Chaochen,, 1937- Duration calculus : a formal approach to real-time systems / Zhou Chaochen, Michael R. Hansen

Duration calculus : a formal approach to real-time systems / Zhou Chaochen, Michael R. Hansen . - Berlin : Springer, [imp. 2010] . - X, 247 p. : il. 25 cm . - (EATCS monographs on theoretical computer science)
978-3-540-40823-9 Encadernado

510.5
519.68