Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Lecture Notes in Computer Science .10426) (1st ed. 2017. 2017. xix, 601 S. 142 SW-Abb. 235 mm)

Name: Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Lecture Notes in Computer Science .10426) (1st ed. 2017. 2017. xix, 601 S. 142 SW-Abb. 235 mm)
Brand: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING
SKU: 00000_00000_00000_00000
Price: 1925.00 TWD
Availability: OutOfStock

Herausgegeben von Majumdar, Rupak/ Kuncak, Viktor

1,925 TWD

KPC會員價

1,733

分享 Post

數量:

發行商

SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING

出版日期

國際標準書號

9783319633862

頁面

項目類型

Book

格式

Paperback

無法訂購

此產品目前缺貨

您的購物車

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Lecture Notes in Computer Science .10426) (1st ed. 2017. 2017. xix, 601 S. 142 SW-Abb. 235 mm)

無法訂購

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Lecture Notes in Computer Science .10426) (1st ed. 2017. 2017. xix, 601 S. 142 SW-Abb. 235 mm)

最近瀏覽過的項目

相關產品