![]() |
||||
ANTIQBOOK
fine books - fair prices | ||||
|
||||
Ask a question or Order this book Browse our books Search our books Book dealer info | Author: BERG, HELMUT K. & ETC. Title: Formal Methods of Programme Verification and Specification (Prentice-Hall Software Series). Description: Longman Higher Education, 1982. Hardcover, Pages: 224. No dust jacket. Ex Library. Fast Dispatch. Expedited UK Delivery Available. Excellent Customer Service. Bookbarn International Inventory #2524093 Used; Good. ISBN: 9780133288070. Keywords: Price: GBP 3.00 = appr. US$ 4.28 Seller: Bookbarn International - Book number: 2524093 See more books from our catalog: Reference |