Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Franta
ISBN 10: 0133288072 ISBN 13: 9780133288070
Published by Prentice Hall, 1982
Used
Hardcover
From
Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
AbeBooks Seller since April 15, 2021
This specific item is no longer available.
About this Item
Description:
Dust Jacket may NOT BE INCLUDED.CDs may be missing. Seller Inventory # ERICA82701332880723
Synopsis:
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Formal Methods of Program Verification and ...
Publisher: Prentice Hall
Publication Date: 1982
Binding: Hardcover
Condition: Very Good
Dust Jacket Condition: Dust Jacket Included
Book Type: book
Top Search Results from the AbeBooks Marketplace
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$ 8.45
US$ 24.06 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$ 8.45
US$ 24.06 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.45
US$ 24.06 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.45
US$ 24.06 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
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-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 (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