Concurrency Verification: Introduction to Compositional and Noncompositional Methods (Cambridge Tracts in Theoretical Computer Science)

by Willem-Paul De Roever Paperback details (UK). ISBN: 978-0-521-16932-5 ISBN-10: 0-521-16932-1 Cambridge University Press · 2011