Items related to Program Verification Using Ada (Cambridge Computer...

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

Synopsis

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