Menu
Bookhype
My Books
Explore
Search books
New releases
Special editions
Recommendations
Activity
Genres
Fantasy
Historical
Mystery
Romance
Science Fiction
Thriller
Young Adult
Login
Register
Login
Register
Jozef Hooman
2 books
• 2 series
Cambridge Tracts in Theoretical Computer Science
Lecture Notes in Computer Science
Book #558:
Specification and Compositional Verification of Real-Time Systems
