Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings - Theoretical Computer Science and General Issues - Sriram Sankaranarayanan - Livros - Springer International Publishing AG - 9783319229744 - 12 de agosto de 2015
Caso a capa e o título não sejam correspondentes, considere o título como correto

Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings - Theoretical Computer Science and General Issues 1st ed. 2015 edition

Sriram Sankaranarayanan

Preço
CA$ 78,99
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 4 - 10 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
Adicione à sua lista de desejos do iMusic

Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings - Theoretical Computer Science and General Issues 1st ed. 2015 edition

321 pages, 90 black & white illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 12 de agosto de 2015
ISBN13 9783319229744
Editoras Springer International Publishing AG
Páginas 321
Dimensões 155 × 235 × 18 mm   ·   5,04 kg
Idioma French  
Editor Sankaranarayanan, Sriram
Editor Vicario, Enrico