Concurrency Verification: Introduction to Compositional and Non-Compositional Methods (Hardcover)
Willem-Paul de Roever
Sold by AussieBookSeller, Truganina, VIC, Australia
AbeBooks Seller since June 22, 2007
New - Hardcover
Condition: New
Quantity: 1 available
Add to basket