Synopsis
Formal Development of Programs and Proofs
"synopsis" may belong to another edition of this title.
Search results for Formal Development of Programs and Proofs
Stock Image
Formal Development of Programs and Proofs
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_433706131
Stock Image
Formal Development of Programs and Proofs
Published by
Pearson Education, Limited, 1990
ISBN 10: 0201172372
ISBN 13: 9780201172379
Used
Hardcover
First Edition
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. 1st. Used book that is in clean, average condition without any missing pages. Seller Inventory # 10283698-6
Stock Image
Formal Development of Programs and Proofs
Published by
Pearson Education, Limited, 1990
ISBN 10: 0201172372
ISBN 13: 9780201172379
Used
Hardcover
First Edition
Seller: Better World Books: West, Reno, NV, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. 1st. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # 4093207-6
Stock Image
Formal Development of Programs and Proofs
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 # G0201172372I4N00
Stock Image
Formal Development of Programs and Proofs
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Seller Inventory # Z1-W-022-01674
Buy Used
US$ 43.83
Shipping:
US$ 14.18
From United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Formal Development of Programs and Proofs
Published by
Pearson Education, Limited, 1990
ISBN 10: 0201172372
ISBN 13: 9780201172379
Used
Hardcover
First Edition
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. 1st. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # 3146932-6
Buy Used
US$ 47.81
Shipping:
US$ 10.66
From United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Formal Development of Programs and Proofs
Published by
Pearson Education, Limited, 1990
ISBN 10: 0201172372
ISBN 13: 9780201172379
Used
Hardcover
First Edition
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. 1st. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # GRP90078629
Buy Used
US$ 47.81
Shipping:
US$ 10.66
From United Kingdom to U.S.A.
Quantity: 1 available