Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III - Lecture Notes in Computer Science - Bernhard Steffen-Marieke Huisman-Fabrice Kordon-Di - Livros - Springer Nature Switzerland AG - 9783030175016 - 4 de abril de 2019
Caso a capa e o título não sejam correspondentes, considere o título como correto

Bernhard Steffen-Marieke Huisman-Fabrice Kordon-Di
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III - Lecture Notes in Computer Science 2019 edition

Preço
R$ 283,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 28 de set - 1 de out
Receba avisos sobre novos lançamentos de Bernhard Steffen-Marieke Huisman-Fabrice Kordon-Di

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

258 pages, 25 Illustrations, color; 424 Illustrations, black and white; XXVII, 258 p. 449 illus., 25

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 4 de abril de 2019
ISBN13 9783030175016
Editoras Springer Nature Switzerland AG
Páginas 258
Dimensões 156 × 233 × 17 mm   ·   434 g
Idioma Francês  
Editor Beyer, Dirk, Ph. D.
Editor Huisman, Marieke
Editor Kordon, Fabrice
Editor Steffen, Bernhard

Mais da mesma editora

Ver tudo de Bernhard Steffen-Marieke Huisman-Fabrice Kordon-Di