Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers - Programming and Software Engineering - Jim Davies - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642198281 - 23 de março de 2011
Caso a capa e o título não sejam correspondentes, considere o título como correto

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers - Programming and Software Engineering

Jim Davies

Preço
R$ 350,90

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 4 - 12 de jun

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

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers - Programming and Software Engineering

This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.

299 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 23 de março de 2011
ISBN13 9783642198281
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 291
Dimensões 155 × 235 × 18 mm   ·   453 g
Idioma French  
Editor Davies, Jim
Editor Silva, Leila
Editor Simao, Adenilso
Mostrar tudo

Mais por Jim Davies

Ver tudo de Jim Davies ( por exemplo CD , Paperback Book , Hardcover Book e Book )