Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I (Lecture Notes in Computer Science 15054) (2025. xx, 304 S. XX, 304 p. 64 illus., 39 illus. in color. 235

Name: Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I (Lecture Notes in Computer Science 15054) (2025. xx, 304 S. XX, 304 p. 64 illus., 39 illus. in color. 235
Brand: SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING
SKU: 00000_00000_00000_00000
Price: 758.46 MYR
Availability: InStock

Herausgegeben:Akshay, S./ Niemetz, Aina/ Sankaranarayanan, Sriram

758.46 MYR

Member Price

682.62

English

Quantity:

Publisher

SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING

Publication Date

ISBN

9783031787089

Pages

300

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 shipping for Peninsula on orders over 120.00MYR

Your Cart

Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I (Lecture Notes in Computer Science 15054) (2025. xx, 304 S. XX, 304 p. 64 illus., 39 illus. in color. 235

Available to Order

Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I (Lecture Notes in Computer Science 15054) (2025. xx, 304 S. XX, 304 p. 64 illus., 39 illus. in color. 235

Recently Viewed Items

Related Products