Fortell venner om denne varen:
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
Pris
NOK 569
Bestillingsvarer
Forventes levert 23. - 31. jul
Legg til iMusic ønskeliste
Eller
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
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 23. oktober 2002 |
| ISBN13 | 9783540001164 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 408 |
| Mål | 155 × 235 × 21 mm · 612 g |
| Språk | Tysk |
| Redaktør | Aagaard, Mark D. |
| Redaktør | O'Leary, John W. |
