Items related to Formal Methods of Programme Verification and Specification...
Formal Methods of Programme Verification and Specification (Prentice-Hall Software Series) - Hardcover
Search results for Formal Methods of Programme Verification and Specification...
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
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
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
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
Quantity: 1 available
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
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
Quantity: 1 available