The Resource Proceedings of the sixth ACM/IEEE International Conference on Formal Methods and Models for Co-Design, sponsors, ACM SIGDA, ACM SIGBED, (electronic resource)

Proceedings of the sixth ACM/IEEE International Conference on Formal Methods and Models for Co-Design, sponsors, ACM SIGDA, ACM SIGBED, (electronic resource)

Label
Proceedings of the sixth ACM/IEEE International Conference on Formal Methods and Models for Co-Design
Title
Proceedings of the sixth ACM/IEEE International Conference on Formal Methods and Models for Co-Design
Statement of responsibility
sponsors, ACM SIGDA, ACM SIGBED
Title variation
  • Proceedings of the sixth Association for Computing Machinery/Institute of Electrical and Electronics Engineers International Conference on Formal Methods and Models for Co-Design
  • MEMOCODE '08
  • Methods and Models for Co-Design 2008
  • Methods and Models for Co-Design 2008
Title variation remainder
  • proceedings of the sixth ACM/IEEE International Conference on Formal Methods and Models for Co-Design
  • proceedings of the sixth Association for Computing Machinery/Institute of Electrical and Electronics Engineers International Conference on Formal Methods and Models for Co-Design
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
WaSeSS
Dewey number
003.3
LC call number
QA76.9.C65
http://bibfra.me/vocab/lite/meetingDate
2008
http://bibfra.me/vocab/lite/meetingName
ACM and IEEE International Conference on Formal Methods and Models for Co-Design
http://library.link/vocab/relatedWorkOrContributorName
  • Association for Computing Machinery
  • ACM Special Interest Group on Design Automation
  • ACM Digital Library
http://library.link/vocab/subjectName
Computer simulation
Label
Proceedings of the sixth ACM/IEEE International Conference on Formal Methods and Models for Co-Design, sponsors, ACM SIGDA, ACM SIGBED, (electronic resource)
Instantiates
Publication
Control code
OCM1bookssj0000453706
Dimensions
unknown
Specific material designation
remote
System control number
(WaSeSS)bookssj0000453706
Label
Proceedings of the sixth ACM/IEEE International Conference on Formal Methods and Models for Co-Design, sponsors, ACM SIGDA, ACM SIGBED, (electronic resource)
Publication
Control code
OCM1bookssj0000453706
Dimensions
unknown
Specific material designation
remote
System control number
(WaSeSS)bookssj0000453706

Library Locations

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