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

1 Used

From US$ 22.20

0 New

Book by McGettrick

"synopsis" may belong to another edition of this title.

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

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10: 0521242150 ISBN 13: 9780521242158
Publisher: Cambridge University Press, 1982
Hardcover

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

Stock Image

Program Verification Using Ada

McGettrick, Andrew D.

Published by Cambridge University Press, 1982

ISBN 10: 0521285313 ISBN 13: 9780521285315

Used Softcover

Seller: Better World Books: West, Reno, NV, U.S.A.

Seller rating 5 out of 5 stars

Condition: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 55723376-75

Contact seller

Buy Used

US$ 22.20

Free Shipping
Ships within U.S.A.

Quantity: 1 available

Add to basket