第 1/6 張圖片
第 1/6 張圖片
Reasoning about Java Programs in Higher Order Logic Using PVS & Isabelle 2001
US $49.95
大約HK$ 389.33
狀況：
“Slight staining, rubbing and edgewear to covers. Slight yellow staining to fore page edges, and a ”... 閱讀更多內容關於物品狀況
很好
曾被閱讀過的書籍，但狀況良好。封面不存在明顯損壞，精裝本書籍含書皮。不存在缺頁或內頁受損，無褶皺或破損，同時也沒有對文字標注/標記，或在留白處書寫內容。內封面上標記可能極少。書籍的磨損和破損程度也很低。
運費：
US $7.48（大約 HK$ 58.30） USPS Media MailTM.
所在地：Sun City, California, 美國
送達日期：
估計於 9月24日, 二至 9月26日, 四之間送達 運送地點 43230
退貨：
30 日退貨. 由賣家支付退貨運費.
保障：
請參閱物品說明或聯絡賣家以取得詳細資料。閱覽全部詳情查看保障詳情
（不符合「eBay 買家保障方案」資格）
物品細節
- 物品狀況
- 很好
- 賣家備註
- Book Title
- Reasoning about Java Programs in Higher Order Logi
- Narrative Type
- Nonfiction
- Country/Region of Manufacture
- United States
- Topic
- Logic
- Format
- Paperback
- Type
- Chronicle
- Features
- 1st Edition
- Publication Year
- 2001
- Language
- English
- Publisher
- IPA
- Genre
- Computer & IT
- Subjects
- Science
賣家提供的物品說明
賣家信用評價 （1,862）
- 5***y (360)- 買家留下的信用評價。過去 1 個月購買已獲認證Fast shipping, book just as described. Thank you.
- d***i (195)- 買家留下的信用評價。過去 1 個月購買已獲認證Item as described and packaged well. Hope to deal with you again! 5/5
- z***a (191)- 買家留下的信用評價。過去 1 個月購買已獲認證Extremely well packaged book, thank you very much !