Program Construction and Verification
Home > Browse Our Collection > Books > Miscellaneous > Program Construction and Verification |
Language: English 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. |