Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings (Lecture Notes in Computer Science .11388) (1st ed. 2019. 2019. xvii, 602 S. 1260 SW-Abb., 69 Farbab

Name: Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings (Lecture Notes in Computer Science .11388) (1st ed. 2019. 2019. xvii, 602 S. 1260 SW-Abb., 69 Farbab
Brand: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;
SKU: 00000_00000_00000_00000
Price: 1925.00 TWD
Availability: OutOfStock

Herausgegeben von Enea, Constantin/ Piskac, Ruzica

1,925 TWD

会員価格

1,733

English

分享貼文

数量:

發行商

SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;

出版日期

國際標準書號

9783030112448

版型/頁數

項目類型

Book

格式

Paperback

無法提供

此產品目前缺貨，如需確認是否可提供訂購，請與我們聯繫。

カート

Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings (Lecture Notes in Computer Science .11388) (1st ed. 2019. 2019. xvii, 602 S. 1260 SW-Abb., 69 Farbab

無法提供

Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings (Lecture Notes in Computer Science .11388) (1st ed. 2019. 2019. xvii, 602 S. 1260 SW-Abb., 69 Farbab

最近瀏覽的項目

相關產品