Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proce -  - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783662496732 - 9 de abril de 2016
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: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proce 1st ed. 2016 edition

Preço
R$ 338,03

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 4 - 12 de nov
Adicione à sua lista de desejos do iMusic

Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proce 1st ed. 2016 edition

961 pages, 220 black & white illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 9 de abril de 2016
ISBN13 9783662496732
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 961
Dimensões 1,35 kg
Idioma German  
Editor Chechik, Marsha
Editor Raskin, Jean-Francois