We hate 2020!

Just when we thought 2020 couldn't get any worse! We were about to re-open after many months of being closed but then disaster struck when a mains water pipe burst and flooded much of the ground floor of the museum.
Sadly re-opening has now been postponed. Read More >>>

Please Donate Via Just GivingNo visitors, no workshops, no events, no school visits... no income. We know that things are tough for everyone right now, but if you can afford to help us through these tough times please donate what you can.

There's over 36,000 exhibits here! That should keep you occupied for a bit - get searching!

Or come and get involved on our social media channels ...

      Twitch  Facebook          Online Gift Shop      

Thank you.

Program Construction and Verification

Program Construction and Verification (Paperback)
by Roland C. Backhouse

Paperback: 281 pages
Publisher: Prentice Hall (June 1986)
Language: English
ISBN-10: 0137291469
ISBN-13: 978-0137291465
Product Dimensions: 9.2 x 6 x 0.8 inches
Shipping Weight: 14.4 ounces

 

ISBN :

Publisher : Prentice-Hall

Author : Doug Bell

Format : Paperback

-Doug Bell-

 

 

 

This book may be available to buy :
Program Construction and Verification

 

 

 

This exhibit has a reference ID of CH2828. Please quote this reference ID in any communication with the Centre for Computing History.
 
Program Construction and Verification Click on the Images For Detail

Help support the museum by buying from the museum shop

View all items

Founding Sponsors
redgate Google ARM Real VNC Microsoft Research
Heritage Lottery Funded
Heritage Lottery Fund
Accredited Museum