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
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 (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: 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: 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-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
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$ 8.46
US$ 24.09 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$ 8.46
US$ 24.09 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: 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$ 8.46
US$ 24.09 shipping
Ships from France to U.S.A.
Ships from France to U.S.A.
Quantity: 1 available