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