Items related to Lectures on the Logic of Computer Programming (CBMS-NSF...
Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31) - Softcover
Synopsis
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 result whenever it halts, that a given program will eventually halt, that a given program is partially correct and terminates, and that a system of rewriting rules always halts. Also, the author describes the intermediate behavior of a given program, and discusses constructing a program to meet a given specification.
"synopsis" may belong to another edition of this title.
Search results for Lectures on the Logic of Computer Programming (CBMS-NSF...
Stock Image
Lectures on the Logic of Computer Programming
Published by
Society for Industrial and Applied Mathematics, 1980
ISBN 10: 0898711649
ISBN 13: 9780898711646
Used
Softcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Bon. Ancien livre de bibliothèque. Petite(s) trace(s) de pliure sur la couverture. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 1980. Tome 31. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritativ ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slightly creased cover. Slight signs of wear on the cover. Stains on the edge. Edition 1980. Volume 31. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-566-783
Quantity: 1 available
Stock Image
Lectures on the Logic of Computer Programming
Published by
Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Used
Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # 53060652-6
Quantity: 1 available
Stock Image
Lectures on the Logic of Computer Programming
Published by
Society for Industrial Mathematics, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Used
Paperback
Seller: Michener & Rutledge Booksellers, Inc., Baldwin City, KS, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Crimped corner, otherwise text clean and solid; CBMS-NSF Regional Conference Series in Applied Mathematics 31; 0.4 x 9.8 x 6.8 Inches; 53 pages. Seller Inventory # 210461
Quantity: 1 available