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
Buy Used
US$ 6.52
US$ 18.82 shipping
Ships from France to U.S.A.
Ships from France to U.S.A.
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
New
Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 1214136-n
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
US$ 56.67
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
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
US$ 54.03
US$ 4.40 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
Published by
Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Used
Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 1214136
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
US$ 56.25
US$ 13.39 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
Buy New
US$ 59.29
US$ 11.97 shipping
Ships from Ireland to U.S.A.
Ships from Ireland to U.S.A.
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
New
Softcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 1214136-n
Buy New
US$ 54.64
US$ 20.08 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
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
US$ 63.97
US$ 16.40 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available