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