Add this copy of Formal Methods of Program Verification and to cart. $0.99, good condition, Sold by Big River Books rated 5.0 out of 5 stars, ships from Powder Springs, GA, UNITED STATES, published 1982 by Prentice Hall.
Add this copy of Formal Methods of Program Verification and to cart. $0.99, fair condition, Sold by BookHolders rated 5.0 out of 5 stars, ships from Gambrills, MD, UNITED STATES, published 1982 by Prentice Hall.
Add this copy of Formal Methods of Program Verification and to cart. $2.41, good condition, Sold by ThriftBooks-Dallas rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1982 by Prentice Hall.
Add this copy of Formal Methods of Program Verification and to cart. $5.00, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1982 by Prentice Hall.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Add this copy of Formal Methods of Program Verification and to cart. $30.00, new condition, Sold by LINCBOOK rated 4.0 out of 5 stars, ships from Foster, RI, UNITED STATES, published 1982 by Prentice-Hall.
Add this copy of Formal Methods of Program Verification and to cart. $30.79, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1982 by Prentice Hall.
