Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I - Lecture Notes in Computer Science - Étienne André - Books - Springer International Publishing AG - 9783031453281 - October 22, 2023
In case cover and title do not match, the title is correct

Étienne André
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I - Lecture Notes in Computer Science 1st ed. 2023 edition

Price
S$ 113
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 13 - 23, 2026
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023.

446 pages, 47 Illustrations, color; 38 Illustrations, black and white; XVI, 446 p. 85 illus., 47 ill

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 22, 2023
ISBN13 9783031453281
Publishers Springer International Publishing AG
Pages 446
Dimensions 150 × 220 × 10 mm   ·   644 g
Language English  
Editor Andre, Etienne
Editor Sun, Jun

More by Étienne André

Show all

See all of Étienne André ( e.g. Hardcover Book and Paperback Book )