Conte aos seus amigos sobre este item:
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - Programming and Software Engineering 2015 edition
Nikolaj Bjorner
Preço
Kč 1.238
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 27 de nov - 5 de dez
Presentes de Natal podem ser trocados até 31 de janeiro
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - Programming and Software Engineering
Nikolaj Bjorner
2015 edition
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions.
610 pages, 156 black & white illustrations, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 2 de junho de 2015 |
| ISBN13 | 9783319192482 |
| Editoras | Springer International Publishing AG |
| Páginas | 610 |
| Dimensões | 155 × 235 × 32 mm · 9,36 kg |
| Idioma | Francês |
| Editor | Bjørner, Nikolaj |
| Editor | De Boer, Frank |
