Items related to Lectures on the Logic of Computer Programming: 31 (CBMS-NSF...
Lectures on the Logic of Computer Programming: 31 (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.
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.
"About this title" may belong to another edition of this title.
- PublisherSociety for Industrial and Applied Mathematics
- Publication date1987
- ISBN 10 0898711649
- ISBN 13 9780898711646
- BindingPaperback
- LanguageEnglish
- Number of pages53
Search results for Lectures on the Logic of Computer Programming: 31 (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 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