Formal Methods of Program Verification and Specification (Prentice-Hall Software Series) - Hardcover
Synopsis
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
"synopsis" may belong to another edition of this title.
Search results for Formal Methods of Program Verification and Specification...
Stock Image
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Seller: BookHolders, Towson, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: Fair. [ No Hassle 30 Day Returns ][ Ships Daily ] [ Underlining/Highlighting: NONE ] [ Writing: NONE ] [ Edition: Reprint ] Publisher: Prentice Hall Pub Date: 4/1/1982 Binding: Hardcover Pages: 207 Reprint edition. Seller Inventory # 6894837
Seller Image
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Seller rating 5 out of 5 stars
Condition: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item for full refund. Ships USPS Media Mail. Seller Inventory # OTV.0133288072.VG
Stock Image
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: 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! Seller Inventory # S_416689049
Stock Image
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0133288072I4N00
Stock Image
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0133288072I3N10
Stock Image
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0133288072I3N00
Stock Image
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0133288072I3N00
Stock Image
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0133288072I4N00
Stock Image
Formal Methods of Program Verification and Specification
Published by
Prentice-Hall, 1982
ISBN 10: 0133288072
ISBN 13: 9780133288070
Used
Hardcover
First Edition
Seller: Reader's Corner, Inc., Raleigh, NC, U.S.A.
Seller rating 5 out of 5 stars
Cloth. Condition: Very Good. No Jacket. First. Seller Inventory # 001987
Stock Image
Formal Methods of Program Verification and Specification
Published by
Longman Higher Education, 1982
ISBN 10: 0133288072
ISBN 13: 9780133288070
Used
Hardcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1982. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1982. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-751-673
Buy Used
US$ 7.01
US$ 23.86 shipping
Ships from France to U.S.A.
Ships from France to U.S.A.
Quantity: 1 available