Verification of Sequential and Concurrent Programs
Book 14 of 16: Monographs in Computer ScienceApt, Krzysztof R.; Olderog, Ernst-Rüdiger
Sold by Ria Christie Collections, Uxbridge, United Kingdom
AbeBooks Seller since March 25, 2015
New - Soft cover
Condition: New
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Add to basket