Specification and Compositional Verification Of Real-Time Systems by J Hooman

Uncommonly Good Books

Biblio offers over 100 million second-hand books and rare books by working with the finest booksellers in the world.