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: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0471033952I5N00
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
Stock Image
Proving Programmes Correct
Seller: NEPO UG, Rüsselsheim am Main, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Sehr gut. Versand am folgenden Arbeitstag mit Rechnung daily shipping worldwide with invoice ex library aus Bibliothek Sprache: Deutsch Gewicht in Gramm: 550. Seller Inventory # 142604
Buy Used
US$ 29.22
US$ 27.54 shipping
Ships from Germany to U.S.A.
Ships from Germany 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
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$ 86.78
US$ 7.67 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
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$ 86.78
US$ 7.67 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available