Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more

Recommended product

Popular links

Popular links


Program Verification Using Ada

Program Verification Using Ada

Program Verification Using Ada

Author:
McGettrick
Published:
July 1982
Availability:
Unavailable - out of print May 1987
Format:
Hardback
ISBN:
9780521242158

Looking for an inspection copy?

This title is not currently available for inspection.

Out of Print
Hardback
Out of Print
Paperback

    Product details

    July 1982
    Hardback
    9780521242158
    368 pages
    228 × 152 mm
    0.652kg
    Unavailable - out of print May 1987
      Author
    • McGettrick