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)
Keywords: science Wiskunde
Price: EUR 40.00 = appr. US$ 43.47 Seller: Moby Dick
- Book number: 232941
See more books from our catalog:
Science