Program Construction and Verification
Program Construction and Verification (Paperback) Paperback: 281 pages 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. |