Conte aos seus amigos sobre este item:
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
Preço
SEK 769
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 1 - 8 de out
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 14 de outubro de 2021 |
| ISBN13 | 9783030888848 |
| Editoras | Springer Nature Switzerland AG |
| Páginas | 382 |
| Dimensões | 156 × 233 × 27 mm · 612 g |
| Idioma | German |
| Editor | Ganesh, Vijay |
| Editor | Hou, Zhe |