Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Lecture Notes in Computer Science .10426) (1st ed. 2017. 2017. xix, 601 S. 142 SW-Abb. 235 mm)

Name: Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Lecture Notes in Computer Science .10426) (1st ed. 2017. 2017. xix, 601 S. 142 SW-Abb. 235 mm)
Brand: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING
SKU: 00000_00000_00000_00000
Price: 1960.57 THB
Availability: InStock

Herausgegeben von Majumdar, Rupak/ Kuncak, Viktor

1,960.57 THB

Member Price

1,764.52

Quantity:

Publisher

SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING

Publication Date

ISBN

9783319633862

Pages

Item Type

Book

Format

Paperback

Available to Order

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

Free domestic shipping on orders over 1,200.00THB

Your Cart

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Lecture Notes in Computer Science .10426) (1st ed. 2017. 2017. xix, 601 S. 142 SW-Abb. 235 mm)

Available to Order

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Lecture Notes in Computer Science .10426) (1st ed. 2017. 2017. xix, 601 S. 142 SW-Abb. 235 mm)

Recently Viewed Items

Related Products