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
There are no comments for this item.