Author: Apt, Krzysztof R. and Ernst Rüdiger Olderog Title: Verification of sequential and concurrent programs
Description: Springer 1991 cloth, 441 pp. ISBN (3540975322) (code Sc-60)
Keywords: mathematics
Price: EUR 32.00 = appr. US$ 34.78 Seller: Moby Dick
- Book number: 233575
See more books from our catalog:
Science