Things are tough right now ...

They're tough for everyone :( But when coronavirus hit here in the UK, the museum had to close its doors to the public, and we lost practically all our income overnight.

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.

Stay safe, stay at home! 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