Program Verification Using Ada (Cambridge Computer Science Texts, Series Number 13) - Softcover

McGettrick

9780521285315: Program Verification Using Ada (Cambridge Computer Science Texts, Series Number 13)

Softcover

ISBN 10: 0521285313 ISBN 13: 9780521285315

Publisher: Cambridge University Press, 1982

View all copies of this ISBN edition

Edition details

Publisher: Cambridge University Press
Publication date: 1982
Language: English
ISBN 10: 0521285313
ISBN 13: 9780521285315
Binding: Paperback
Number of pages: 357

Search results for Program Verification Using Ada (Cambridge Computer...

Stock Image

Program Verification Using Ada (Cambridge Computer Science Texts, Series Number 13)

McGettrick

Published by Cambridge University Press, 1982

ISBN 10: 0521285313 ISBN 13: 9780521285315

Used Paperback

Seller: Powell's Bookstores Chicago, ABAA, Chicago, IL, U.S.A.

Seller rating 5 out of 5 stars

Paperback. Condition: Very Good. 34. Pap. Minor shelf wear. Else a bright, clean copy. Seller Inventory # 2042757

Buy Used

� 25.66

� 3.77 shipping
Ships within U.S.A.

Quantity: 1 available