Concurrency Verification Quotes

Rate this book
Clear rating
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54) Concurrency Verification: Introduction to Compositional and Non-compositional Methods by Willem-Paul de Roever
1 rating, 4.00 average rating, 0 reviews
Concurrency Verification Quotes Showing 0-0 of 0