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:
£ 28.80
Convert Currency
£ 17.04
shipping from Netherlands to United Kingdom
Destination, rates & speeds
Quantity: 1 available
Add to basket