Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings - Lecture Notes in Computer Science - - Bøger - Springer Nature Switzerland AG - 9783030888848 - 14. oktober 2021
Ved uoverensstemmelse mellem cover og titel gælder titel

Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings - Lecture Notes in Computer Science 1st ed. 2021 edition

Pris
Íkr 11.711,25

Bestilles fra fjernlager

Forventes klar til forsendelse 1. - 6. okt.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings - Lecture Notes in Computer Science 1st ed. 2021 edition

This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021.

382 pages, 49 Illustrations, color; 54 Illustrations, black and white; XV, 382 p. 103 illus., 49 ill

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 14. oktober 2021
ISBN13 9783030888848
Forlag Springer Nature Switzerland AG
Antal sider 382
Mål 156 × 233 × 27 mm   ·   612 g
Sprog Tysk  
Klipper/redaktør Ganesh, Vijay
Klipper/redaktør Hou, Zhe