Author: APT, KRZYSZTOF R. AND ERNST RÜDIGER OLDEROG Title: Verification of sequential and concurrent programs
Description: Springer 1991 cloth, 441 pp. ISBN (3540975322)
Keywords: science Wiskunde
Price: EUR 32.00 = appr. US$ 34.78 Seller: Moby Dick
- Book number: 233575
See more books from our catalog:
Science