Items related to Program Verification Using Ada (Cambridge Computer...
Synopsis
Book by McGettrick
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Program Verification Using Ada (Cambridge Computer...
Stock Image
Program Verification Using Ada
Published by
Cambridge University Press, 1982
ISBN 10: 0521242150
ISBN 13: 9780521242158
Used
Hardcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 67632913-6