Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II - Lecture Notes in Computer Science - - Livros - Springer Nature Switzerland AG - 9783030255428 - 13 de julho de 2019
Caso a capa e o título não sejam correspondentes, considere o título como correto

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II - Lecture Notes in Computer Science 2019 edition

Preço
R$ 296,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 6 - 12 de out

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The papers were organized in the following topical sections: Part I: automata and timed systems;

549 pages, 42 Illustrations, color; 1167 Illustrations, black and white; XX, 549 p. 1209 illus., 42

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 13 de julho de 2019
ISBN13 9783030255428
Editoras Springer Nature Switzerland AG
Páginas 549
Dimensões 150 × 220 × 10 mm   ·   866 g
Idioma Alemão  
Editor Dillig, Isil
Editor Tasiran, Serdar

Mais da mesma editora