Program Construction and Verification

 Home > Browse Our Collection > Books > Miscellaneous > Program Construction and Verification
 

Language: English
ISBN-13: 978-0137291465
Product Dimensions: 9.2 x 6 x 0.8 inches
Shipping Weight: 14.4 ounces

 

ISBN : 0137291469

Publisher : Prentice-Hall

Author : Roland C. Backhouse

Format : Paperback: 281 Pages

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