Conte aos seus amigos sobre este item:
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
Étienne André
Preço
HK$ 678
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 3 - 9 de jul
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
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
Étienne André
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 22 de outubro de 2023 |
| ISBN13 | 9783031453281 |
| Editoras | Springer International Publishing AG |
| Páginas | 446 |
| Dimensões | 644 g |
| Idioma | English |
| Editor | Andre, Etienne |
| Editor | Sun, Jun |
Mostrar tudo
Mais por Étienne André
Ver tudo de Étienne André ( por exemplo Paperback Book e Hardcover Book )