將滑鼠移到圖片上方以放大

Computer Aided Verification (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8559) (2014. 2014. xxxiv, 877 S. 205 SW-Abb.,. 235 mm)

Name: Computer Aided Verification (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8559) (2014. 2014. xxxiv, 877 S. 205 SW-Abb.,. 235 mm)
Brand: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING
SKU: 00000_00000_00000_00000
Price: 3850.00 TWD
Availability: OutOfStock

Herausgegeben von Biere, Armin/ Bloem, Roderick

3,850 TWD

會員價

3,465

English

分享 Post

數量:

發行商

SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING

出版日期

2014/08

國際標準書號

9783319088662

頁面

900

項目類型

Book

格式

Paperback

無法訂購

此產品目前缺貨

您的購物車

Computer Aided Verification (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8559) (2014. 2014. xxxiv, 877 S. 205 SW-Abb.,. 235 mm)

無法訂購

Computer Aided Verification (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8559) (2014. 2014. xxxiv, 877 S. 205 SW-Abb.,. 235 mm)

最近瀏覽過的項目

相關產品