Proving Programs Correct

0 avg rating
( 0 ratings by Goodreads )
9780471033950: Proving Programs Correct

From the rear cover: 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.

Top Search Results from the AbeBooks Marketplace


Anderson, Robert B.
Published by John Wiley & Sons Inc (1979)
ISBN 10: 0471033952 ISBN 13: 9780471033950
New Paperback Quantity Available: 2
Murray Media
(North Miami Beach, FL, U.S.A.)

Book Description John Wiley & Sons Inc, 1979. Paperback. Book Condition: New. Never used!. Bookseller Inventory # P110471033952

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 50.73
Convert Currency

Add to Basket

Shipping: US$ 1.99
Within U.S.A.
Destination, Rates & Speeds