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

 
Image Not Available

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.

Buy Used

Condition: Very Good
Used book that is in excellent...
View this item

FREE shipping within U.S.A.

Destination, rates & speeds

Search results for Lectures on the Logic of Computer Programming (CBMS-NSF...

Stock Image

Manna, Zohar
ISBN 10: 0898711649 ISBN 13: 9780898711646
Used Softcover

Seller: Better World Books, Mishawaka, IN, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # 53060652-6

Contact seller

Buy Used

US$ 17.12
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Zohar Manna
ISBN 10: 0898711649 ISBN 13: 9780898711646
Used Softcover

Seller: Ammareal, Morangis, France

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy Used

US$ 7.20
Convert currency
Shipping: US$ 9.95
From France to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Manna, Zohar
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 5-star rating, Learn more about seller ratings

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

Contact seller

Buy Used

US$ 12.00
Convert currency
Shipping: US$ 6.00
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket