第 1/1 張圖片
第 1/1 張圖片
NASA Formal Methods - 9783642380877
BOOKS etc.
- (478634)
GBP 39.41
大約HK$ 409.63
狀況:
全新
全新,未閱讀過和使用過的書籍,狀況完好,不存在缺頁或內頁受損。
運費:
GBP 22.40(大約 HK$ 232.82) International Priority Shipping 透過 eBay 全球派遞方案運送至美國.
所在地:Aldershot, 英國
進口費:
免費(實際金額將於結賬時確認)
送達日期:
估計於 10月4日, 五至 10月14日, 一之間送達 運送地點 43230
包括全球追蹤服務
退貨:
60 日退貨. 由買家支付退貨運費.
保障:
請參閱物品說明或聯絡賣家以取得詳細資料。閱覽全部詳情查看保障詳情
(不符合「eBay 買家保障方案」資格)
安心購物
物品細節
- 物品狀況
- 全新: 全新,未閱讀過和使用過的書籍,狀況完好,不存在缺頁或內頁受損。 查看所有物品狀況定義會在新視窗或分頁中開啟
- Book Title
- NASA Formal Methods
- ISBN
- 9783642380877
- Publication Name
- NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
- Publisher
- Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
- Subject
- Computer Science
- Publication Year
- 2013
- Series
- Lecture Notes in Computer Science
- Type
- Textbook
- Format
- Paperback
- Language
- English
- Item Height
- 235 mm
- Item Weight
- 777 g
- Item Width
- 155 mm
- Number of Pages
- 486 Pages
關於產品
Product Information
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.
Product Identifiers
Publisher
Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
ISBN-13
9783642380877
eBay Product ID (ePID)
152646054
Product Key Features
Number of Pages
486 Pages
Language
English
Publication Name
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Publication Year
2013
Subject
Computer Science
Type
Textbook
Series
Lecture Notes in Computer Science
Format
Paperback
Dimensions
Item Height
235 mm
Item Weight
777 g
Item Width
155 mm
Volume
7871
Additional Product Features
Editor
Neha Rungta, Arnaud Venet, Guillaume Brat
Country/Region of Manufacture
Germany
賣家提供的物品說明
商業賣家資料
增值稅識別編號:
- GB 976952259
賣家信用評價 (531,436)
- c***o (399)- 買家留下的信用評價。過去 1 個月購買已獲認證Received with thanks.
- h***h (1368)- 買家留下的信用評價。過去 1 個月購買已獲認證Item cancelled and refunded promptly.
- h***h (1368)- 買家留下的信用評價。過去 1 個月購買已獲認證Item not received, but refund promptly issued.