Conte aos seus amigos sobre este item:
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings - Lecture Notes in Computer Science 2020 edition
Preço
¥ 12.812,22
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 22 - 29 de out
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings - Lecture Notes in Computer Science 2020 edition
This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.
471 pages, 63 Illustrations, color; 918 Illustrations, black and white; XIV, 471 p. 981 illus., 63 i
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 7 de fevereiro de 2020 |
| ISBN13 | 9783030393212 |
| Editoras | Springer Nature Switzerland AG |
| Páginas | 471 |
| Dimensões | 234 × 155 × 29 mm · 744 g |
| Idioma | German |
| Editor | Beyer, Dirk, Ph. D. |
| Editor | Zufferey, Damien |