Coverart for item
The Resource 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.], (electronic resource)

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.], (electronic resource)

Label
MEMOCODE'04 : Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design : proceedings : June 23-25, 2004, San Diego, California
Title
MEMOCODE'04
Title remainder
Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design : proceedings : June 23-25, 2004, San Diego, California
Statement of responsibility
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.]
Title variation
Formal methods and models for co-design
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
LHL
http://bibfra.me/vocab/lite/meetingDate
2004
http://bibfra.me/vocab/lite/meetingName
ACM and IEEE International Conference on Formal Methods and Models for Co-Design
http://library.link/vocab/relatedWorkOrContributorName
  • IEEE Computer Society
  • IEEE Circuits and Systems Society
  • ACM Special Interest Group on Design Automation
http://library.link/vocab/subjectName
Computer simulation.
Label
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.], (electronic resource)
Instantiates
Publication
Note
"IEEE Catalog Number 04EX860"--T.p. verso
Bibliography note
Includes bibliographic references and author index
Control code
OCM1bookssj0000394763
Dimensions
27 cm.
Dimensions
unknown
Extent
vii, 233 pages
Isbn
9780780385092
Lccn
2004105108
Other physical details
illustrations
Specific material designation
remote
System control number
(WaSeSS)ssj0000394763
Label
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.], (electronic resource)
Publication
Note
"IEEE Catalog Number 04EX860"--T.p. verso
Bibliography note
Includes bibliographic references and author index
Control code
OCM1bookssj0000394763
Dimensions
27 cm.
Dimensions
unknown
Extent
vii, 233 pages
Isbn
9780780385092
Lccn
2004105108
Other physical details
illustrations
Specific material designation
remote
System control number
(WaSeSS)ssj0000394763

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...