Conte aos seus amigos sobre este item:
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Programming and Software Engineering 2008 edition
Jorge Cuellar
Preço
R$ 314,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 1 - 7 de out
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Programming and Software Engineering 2008 edition
Jorge Cuellar
The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.
436 pages, black & white illustrations
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 8 de maio de 2008 |
| ISBN13 | 9783540682356 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Gênero | Aspects (Academic) > Science / Technology Aspects |
| Páginas | 436 |
| Dimensões | 155 × 235 × 23 mm · 657 g |
| Idioma | French |
| Editor | Cuellar, Jorge |
| Editor | Maibaum, Tom |
![Cover for Jorge Cuellar · Smart Grid Security: Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers - Security and Cryptology (Paperback Book) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/280/9783319103280.jpg?jorge-cuellar-2014-smart-grid-security-second-international-workshop-smartgridsec-2014-munich-germany-february-26-2014-revised-selected-papers-security-and-cryptology-paperback-book&class=scaled&v=1507723866)
