Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedi -  - Livros - Springer Nature Switzerland AG - 9783030174613 - 4 de abril de 2019
Caso a capa e o título não sejam correspondentes, considere o título como correto

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedi 2019 edition

Preço
R$ 294,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 6 - 12 de out
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Também disponível como:

433 pages, 61 Illustrations, color; 1190 Illustrations, black and white; XXIII, 433 p. 1251 illus.,

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 4 de abril de 2019
ISBN13 9783030174613
Editoras Springer Nature Switzerland AG
Páginas 433
Dimensões 150 × 220 × 10 mm   ·   700 g
Idioma Francês  
Editor Vojnar, Tomas
Editor Zhang, Lijun

Mais da mesma editora