2013 Formal Methods in Computer Aided Design (FMCAD)
| Author/creator | IEEE Staff |
| Other author | IEEE Xplore (Online service) |
| Format | Electronic |
| Publication Info | Piscataway : IEEE |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) Conference Proceedings |
| Subjects |
| Summary | Annotation FMCAD is the thirteen in a series of international conferences on the theory and applications of formal methods in hardware and system verification |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9781479926848 |
| ISBN | 1479926841 (Spiral) Active Record |
| Stock number | 00066573 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |