Items related to Proving Programs Correct
Synopsis
From the rear The book covers some of the basic techniques developed in research. It emphasizes what it calls "informal correctness proofs" used by programmers in testing programs. The aim is to provide systematic means of checking programs and to explain some basic programming constructs, looping , and recursion. It is intended to be a supplement for undergraduate and graduate theory of computation courses.
"synopsis" may belong to another edition of this title.
Search results for Proving Programs Correct
Stock Image
Proving Programs Correct
Seller: BookDepart, Shepherdstown, WV, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: UsedGood. Softcover; fading and edge wear to exterior; small tear at back side edge; otherwise in good condition with clean text, firm binding. Seller Inventory # 33148
Seller Image
Proving Programmes Correct
Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom
Seller rating 5 out of 5 stars
paperback. Condition: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # rev8699103645
Buy Used
US$ 69.24
US$ 7.86 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Proving Programmes Correct
Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom
Seller rating 5 out of 5 stars
paperback. Condition: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. A few small stains. Seller Inventory # rev4830707589
Buy Used
US$ 88.85
US$ 7.86 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available