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