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...
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: 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-Reno, Reno, NV, 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: 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
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: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 1982. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Stains on the edge. Edition 1982. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-840-331
Buy Used
US$ 5.72
US$ 19.33 shipping
Ships from France to U.S.A.
Ships from France to U.S.A.
Quantity: 1 available
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$ 5.74
US$ 19.33 shipping
Ships from France to U.S.A.
Ships from France to U.S.A.
Quantity: 1 available
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. Légères traces d'usure sur la couverture. 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. Slight signs of wear on the cover. Edition 1982. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-596-348
Buy Used
US$ 5.74
US$ 19.33 shipping
Ships from France to U.S.A.
Ships from France to U.S.A.
Quantity: 1 available
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. Légères traces d'usure sur la couverture. 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. Slight signs of wear on the cover. Edition 1982. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-551-412
Buy Used
US$ 5.74
US$ 19.33 shipping
Ships from France to U.S.A.
Ships from France to U.S.A.
Quantity: 1 available