ロールオーバーで画像拡大

Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings (Lecture Notes in Computer Science 13505) (1st ed. 2022. 2022. xxiii, 432 S. XXIII, 432 p. 94 illus., 64 illus. i

Name: Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings (Lecture Notes in Computer Science 13505) (1st ed. 2022. 2022. xxiii, 432 S. XXIII, 432 p. 94 illus., 64 illus. i
Brand: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;
SKU: 00000_00000_00000_00000
Price: 155.63 SGD
Availability: InStock

Herausgegeben:Bouajjani, Ahmed/ Holí/k, Luká/s/ Wu, Zhilin

155.63 SGD

会員価格

140.07

数量:

Product Description

978-3-031-19991-2 89186912

... Read Full Text

Publisher

SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;

Publication Date

ISBN

9783031199912

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.

ご注文金額 50.00 SGD以上で国内送料無料

カート

Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings (Lecture Notes in Computer Science 13505) (1st ed. 2022. 2022. xxiii, 432 S. XXIII, 432 p. 94 illus., 64 illus. i

Product Description

Available to Order

Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings (Lecture Notes in Computer Science 13505) (1st ed. 2022. 2022. xxiii, 432 S. XXIII, 432 p. 94 illus., 64 illus. i

Recently Viewed Items

Related Products