Books listed by ISBN > Springer > J. Hooman

J. Hooman

J. H. ยท Jozef Hooman

titleISBN-13
(ISBN-10)		year of publication
Specification and Compositional Verification of Real-Time Systems978-O-387-54947-7
(O-387-54947-1)		1991

J. Hooper