Verification of sequential and concurrent programs
Apt, Krzysztof R and Ernst-Rüdiger Olderog
Condition: Used
Sold by Moby Dick, Noordwijk, Netherlands
AbeBooks Seller since 27 September 2006
Used
Price:
£ 31.37
Convert Currency
£ 16.97
shipping from Netherlands to United Kingdom
Destination, rates & speeds
Quantity: 1 available
Add to basket