Conte aos seus amigos sobre este item:
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings - Lecture Notes in Computer Science 2002 edition
C George
Preço
Mex$ 2.037
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 15 - 21 de jul
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings - Lecture Notes in Computer Science 2002 edition
C George
These papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics.
636 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 9 de outubro de 2002 |
| ISBN13 | 9783540000297 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 636 |
| Dimensões | 155 × 235 × 33 mm · 902 g |
| Idioma | German |
| Editor | George, Chris |
| Editor | Miao, Huaikou |
