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
Used
Ships from Netherlands to U.S.A.
Quantity: 1 available
Add to basket