Author: Apt, Krzysztof R and Ernst-Rüdiger Olderog Title: Verification of sequential and concurrent programs
Description: Springer 1997 cltoh, 2nd edition, 364 pp. ISBN (9780387948966) (code Sc-36)
Keywords: mathematics
Price: EUR 35.00 = appr. US$ 38.04 Seller: Moby Dick
- Book number: 232941
See more books from our catalog:
Science