| Lectures on the Logic of Computer Programming Contributor(s): Manna, Zohar (Author) |
|
 |
ISBN: 0898711649 ISBN-13: 9780898711646 Publisher: Society for Industrial and Applied Mathematic OUR PRICE: $26.84 Product Type: Paperback Published: January 1987 |
| Additional Information |
| BISAC Categories: - Science - Reference | Questions & Answers - Computers | Programming - General |
| Dewey: 001.642 |
| LCCN: 79093153 |
| Physical Information: 53 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. |
