Author: Francez, Nissim Title: Program verification
Description: Addison-Wesley 1992 cloth, 312 pp. ISBN (9780201416084) (code Sc-57)
Keywords: mathematics
Price: EUR 30.00 = appr. US$ 32.61 Seller: Moby Dick
- Book number: 232943
See more books from our catalog:
Science