MEMOCODE'04 Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design : proceedings : June 23-25, 2004, San Diego, California / sponsored by ACM Special Interest Group on Design Automation, IEEE Computer Society DATC, IEEE Circuits and Syatems Society ; in cooperation with INRIA ; with financial support from IRISA ... [et al.].
| Author/creator | ACM and IEEE International Conference on Formal Methods and Models for Co-Design |
| Format | Electronic |
| Publication Info | Piscataway, New Jersey : IEEE, |
| Description | vii, 233 p. : ill. ; 27 cm. |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) Conference Proceedings |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) |
| Supplemental Content | Full text available from ACM Digital Library |
| Subjects |
| Other author/creator | IEEE Computer Society. Design Automation Technical Committee. |
| Other author/creator | IEEE Circuits and Systems Society. |
| Other author/creator | ACM Special Interest Group on Design Automation. |
| Other author/creator | ACM Digital Library. |
| Other author/creator | IEEE Xplore (Online service) |
| Portion of title | Formal methods and models for co-design |
| General note | "IEEE Catalog Number 04EX860"--T.p. verso. |
| Bibliography note | Includes bibliographic references and author index. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2004105108 |
| ISBN | 0780385098 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |