Proving Correctioness of Implementation Techniques

 Home > Browse Our Collection > Manuals > IBM > Proving Correctioness ... ementation Techniques
 





Reference Number : TR 25.110

Date : 12th August 1970

Creator : IBM

This exhibit has a reference ID of CH11025. Please quote this reference ID in any communication with the Centre for Computing History.
 

Scan of Document: Proving Correctioness of Implementation Techniques

Click on the Image 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