Concurrency Verification: Introduction to Compositional and Non-Compositional Methods (Hardcover)
Willem-Paul de Roever
Sold by Grand Eagle Retail, Mason, OH, U.S.A.
AbeBooks Seller since 12 October 2005
New - Hardcover
Condition: New
Quantity: 1 available
Add to basket