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

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

McGettrick
No date available
Paperback
9780521285315
Paperback
    Description

    Product details

    No date available
    Paperback
    9780521285315
    357 pages
    228 × 152 × 21 mm
    0.535kg

    Often bought together

    Introduction Definition of Programming Languages
    Introduction Definition of Programming Languages

    : Paperback

    Introduction Definition of Programming Languages
    Introduction Definition of Programming Languages

    : Hardback

    Ada in Industry
    Ada in Industry

    : Hardback

    Ada in Use
    Ada in Use

    : Hardback

    Proceedings of the Ada International Conference 1985

    Often bought together

    cambridge core banner

    Related Journals

    Also by this Author

    Introduction Definition of Programming Languages
    Introduction Definition of Programming Languages

    McGettrick

    :Paperback

    View product
    Algol 68
    Algol 68

    A First and Second Course

    McGettrick

    :Paperback

    View product

    Also by this Author

    Contents
    Courses
    Resources
    Additional Information
    About the authors
      Author
    • McGettrick

    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