Program Verification Using Ada
Program Verification Using Ada
McGettrick
August 1982
Unavailable - out of print May 1987
Hardback
9780521242158
Looking for an examination copy?
This title is not currently available for examination. However, if you are interested in the title for your course we can consider offering an examination copy. To register your interest please contact [email protected] providing details of the course you are teaching.
Out of Print
Hardback
Paperback
Product details
August 1982Hardback
9780521242158
368 pages
228 × 152 mm
0.652kg
Unavailable - out of print May 1987
