Conte aos seus amigos sobre este item:
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings - Lecture Notes in Computer Science 2002 edition
Mark D Aagaard
Preço
₩ 76.400
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 17 - 23 de jul
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings - Lecture Notes in Computer Science 2002 edition
Mark D Aagaard
This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation.
408 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 23 de outubro de 2002 |
| ISBN13 | 9783540001164 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 408 |
| Dimensões | 155 × 235 × 21 mm · 612 g |
| Idioma | German |
| Editor | Aagaard, Mark D. |
| Editor | O'Leary, John W. |
