The Craft of Programming
Home > Browse Our Collection > Books > Programming > The Craft of Programming |
Major Advances in both the semantics of programming languages and in the methodology of program design and verification have been made in recent years. this advanced textbook draws together these two aspects of programming to provide a sold mathematical foundation for the techniques of proving partial program correctness. Publisher : Prentice/Hall International Author : John C. Reynolds Format : Hardback This exhibit has a reference ID of CH6338. Please quote this reference ID in any communication with the Centre for Computing History. |