Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)

0 avg rating
( 0 ratings by GoodReads )
 
9780133288070: Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)

Top Search Results from the AbeBooks Marketplace

1.

Franta
Published by Prentice Hall (1982)
ISBN 10: 0133288072 ISBN 13: 9780133288070
New Hardcover Quantity Available: 1
Seller
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Prentice Hall, 1982. Hardcover. Book Condition: New. Bookseller Inventory # DADAX0133288072

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 81.34
Convert Currency

Add to Basket

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

2.

Franta
Published by Prentice Hall (1982)
ISBN 10: 0133288072 ISBN 13: 9780133288070
New Hardcover Quantity Available: 1
Seller
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Prentice Hall, 1982. Hardcover. Book Condition: New. book. Bookseller Inventory # 133288072

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 92.02
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds