Verification of sequential and concurrent programs
Apt, Krzysztof R and Ernst-Rüdiger Olderog
Sold by Moby Dick, Noordwijk, Netherlands
AbeBooks Seller since September 27, 2006
Seller rating 4 out of 5 stars
Used
Price:
US$ 41.91
Convert Currency
US$ 38.95
shipping from Netherlands to U.S.A.
Destination, rates & speeds
Quantity: 1 available
Add to basket
