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

Online ordering will be unavailable from Sunday, October 5 at 08:00 GMT until 18:00 GMT .

To place an order, please contact Customer Services.

UK/ROW directcs@cambridge.org +44 (0) 1223 326050 | US customer_service@cambridge.org 1 800 872 7423 or 1 212 337 5000 | Australia/New Zealand enquiries@cambridge.edu.au 61 3 86711400 or 1800 005 210, New Zealand 0800 023 520

Item added to bagSorry, there was a problem getting your bag informationItem cannot be purchased with the existing contents of your bagItem unavailable online
✕

was added to your bag.

Please try again.

Sorry, this item cannot be purchased in the same transaction as the existing items in your bag.

Please complete the purchase of the items currently in your bag and then add this item in a separate transaction or visit Shopping Help.

Sorry, this product is not currently available to buy online. Please visit Shopping Help.

View bag and checkout
Remove item
✕

Are you sure you want to remove from your bag?

Recommended product

Popular links

Popular links

Program Verification Using Ada

All titles
Program Verification Using Ada

Program Verification Using Ada

Series:
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
    Description

    Product details

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

    Often bought together

    Programming in Ada 2022
    Programming in Ada 2022

    : Paperback

    Higher Order Logic and Hardware Verification
    Higher Order Logic and Hardware Verification

    : Paperback

    Distributed Ada: Developments and Experiences
    Distributed Ada: Developments and Experiences

    : Hardback

    Proceedings of the Distributed Ada '89 Symposium, University of Southampton, 11–12 December 1989

    Ada: Experiences and Prospects
    Ada: Experiences and Prospects

    : Hardback

    Proceedings of the Ada-Europe International Conference, Dublin, 1990

    Often bought together

    cambridge core banner

    Related Journals

    Also by this Author

    Introduction Definition of Programming Languages
    Introduction Definition of Programming Languages

    McGettrick

    :Hardback

    Out of Print
    Algol 68
    Algol 68

    McGettrick

    :Paperback

    Out of Print

    Also by this Author

    Contents
    Courses
    Resources
    Additional Information
    About the authors
      Author
    • McGettrick
    Accessibility

    Browse by related subject

     
    ✕

    Sorry, this item cannot be purchased in the same transaction as the existing items in your cart.

    Please complete the purchase of the items currently in your cart and then add this item in a separate transaction or contact

    Customer Services