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: 132.62 SGD
Availability: OutOfStock

Herausgegeben von Enea, Constantin/ Piskac, Ruzica

132.62 SGD

会員価格

119.36

English

数量:

Publisher

SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;

Publication Date

ISBN

9783030112448

Pages

Item Type

Book

Format

Paperback

Unavailable

This product is currently out of stock. Please check back later.

カート

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

Unavailable

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

Recently Viewed Items

Related Products