Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8803) (2014. 2014. xviii, 644 S. 187 SW-Abb.,. 235 mm)

Name: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8803) (2014. 2014. xviii, 644 S. 187 SW-Abb.,. 235 mm)
Brand: SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE
SKU: 00000_00000_00000_00000
Price: 1925.00 TWD
Availability: OutOfStock

Herausgegeben von Margaria, Tiziana/ Steffen, Bernhard

1,925 TWD

會員價

1,733

分享貼文

數量:

發行商

SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE

出版日期

2014/10

國際標準書號

9783662452301

版型/頁數

項目類型

Book

格式

Paperback

無法提供

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

您的購物車

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8803) (2014. 2014. xviii, 644 S. 187 SW-Abb.,. 235 mm)

無法提供

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8803) (2014. 2014. xviii, 644 S. 187 SW-Abb.,. 235 mm)

最近瀏覽的項目

相關產品