Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore,  May 13, 2014, Revised Selected Papers - Theoretical Computer Science and General Issues - David Naumann - Livros - Springer International Publishing AG - 9783319148052 - 4 de fevereiro de 2015
Caso a capa e o título não sejam correspondentes, considere o título como correto

Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers - Theoretical Computer Science and General Issues 2015 edition

David Naumann

Preço
£ 35,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 9 - 17 de out
Adicione à sua lista de desejos do iMusic

Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers - Theoretical Computer Science and General Issues 2015 edition

This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014.


143 pages, 10 black & white illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 4 de fevereiro de 2015
ISBN13 9783319148052
Editoras Springer International Publishing AG
Páginas 143
Dimensões 155 × 235 × 8 mm   ·   2,47 kg
Idioma German  
Editor Naumann, David