Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics)

By Zohar Manna

This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 0898711649
• ISBN13: 9780898711646
• Release Date: January 1987
• Publisher: Society for Industrial and Applied Mathematic
• Length: 53 Pages