Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings (Lecture Notes in Computer Science 11781) (1st ed. 2019. 2019. xi, 552 S. 694 SW-Abb., 60 Farbabb. 235 mm)

Name: Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings (Lecture Notes in Computer Science 11781) (1st ed. 2019. 2019. xi, 552 S. 694 SW-Abb., 60 Farbabb. 235 mm)
Brand: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;
SKU: 00000_00000_00000_00000
Price: 132.62 SGD
Availability: OutOfStock

Herausgegeben von Chen, Yu-Fang/ Cheng, Chih-Hong/ Esparza, Javier

132.62 SGD

Member Price

119.36

English

Quantity:

Publisher

SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;

Publication Date

ISBN

9783030317836

Pages

Item Type

Book

Format

Paperback

Unavailable

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

您的购物车

Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings (Lecture Notes in Computer Science 11781) (1st ed. 2019. 2019. xi, 552 S. 694 SW-Abb., 60 Farbabb. 235 mm)

Unavailable

Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings (Lecture Notes in Computer Science 11781) (1st ed. 2019. 2019. xi, 552 S. 694 SW-Abb., 60 Farbabb. 235 mm)

Recently Viewed Items

Related Products