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.
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
Stock Image
Lectures on the Logic of Computer Programming
Published by
MP-SIA SIAM - Society for Industrial and Applied M, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
New
PAP
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # FW-9780898711646
Buy New
£ 39.18
£ 3.29 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Lectures on the Logic of Computer Programming
Published by
Society for Industrial and Applied Mathematics,U.S., US, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
New
Paperback
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. 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. Seller Inventory # LU-9780898711646
Buy New
£ 43.55
Free Shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Lectures on the Logic of Computer Programming
Published by
Society for Industrial & Applied, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 49 pages. 10.00x7.00x0.25 inches. In Stock. Seller Inventory # __0898711649
Buy New
£ 37.68
£ 10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
Lectures on the Logic of Computer Programming: 31 (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)
Published by
Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
New
Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. 1987. paperback. . . . . . Seller Inventory # V9780898711646
Stock Image
Lectures on the Logic of Computer Programming
Published by
Society for Industrial & Applied Mathematics,U.S., 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
New
Paperback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. New copy - Usually dispatched within 4 working days. Seller Inventory # B9780898711646
Buy New
£ 46.40
£ 12.25 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
Lectures on the Logic of Computer Programming: 31 (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)
Published by
Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
New
Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. 1987. paperback. . . . . . Books ship from the US and Ireland. Seller Inventory # V9780898711646
Stock Image
Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)
Published by
Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
New
Softcover
Seller: SHIMEDIA, Brooklyn, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Satisfaction Guaranteed or your money back. Seller Inventory # 0898711649
Seller Image
Lectures on the Logic of Computer Programming
Published by
Society for Industrial and Applied Mathematics,U.S., US, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
New
Paperback
Seller: Rarewaves.com UK, London, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. 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. Seller Inventory # LU-9780898711646
Buy New
£ 40.98
£ 65 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available