Program Verification Using Ada
Program Verification Using Ada
Series:
Author:
McGettrick
Published:
August 1982
Format:
Hardback
ISBN:
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
Out of Print
Paperback
Product details
August 1982Hardback
9780521242158
368 pages
228 × 152 mm
0.652kg
Unavailable - out of print May 1987
