Proving Programs Correct

 Home > Browse Our Collection > Books > Programming > Proving Programs Correct
 


ISBN : 0 471 03395 2

Publisher :

Author : Robert B. Anderson

Format : Paperback

This exhibit has a reference ID of CH10141. Please quote this reference ID in any communication with the Centre for Computing History.
 
Proving Programs Correct 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