Coverart for item
The Resource MEMOCODE 2011 : Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign : Cambridge, UK : July 11-13, 2011, [sponsors, Microsoft Research Cambridge, IEEE CEDA, ACM SIGBED, and ACM SIGDA]

MEMOCODE 2011 : Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign : Cambridge, UK : July 11-13, 2011, [sponsors, Microsoft Research Cambridge, IEEE CEDA, ACM SIGBED, and ACM SIGDA]

Label
MEMOCODE 2011 : Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign : Cambridge, UK : July 11-13, 2011
Title
MEMOCODE 2011
Title remainder
Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign : Cambridge, UK : July 11-13, 2011
Statement of responsibility
[sponsors, Microsoft Research Cambridge, IEEE CEDA, ACM SIGBED, and ACM SIGDA]
Title variation
  • Formal Methods and Models for Codesign
  • International Conference on Formal Methods and Models for Codesign
  • ACM/IEEE International Conference on Formal Methods and Models for Codesign
  • 9th ACM/IEEE International Conference on Formal Methods and Models for Codesign
  • Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
W2U
Illustrations
illustrations
Index
index present
LC call number
QA76.9.C65
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2011
http://bibfra.me/vocab/lite/meetingName
ACM and IEEE International Conference on Formal Methods and Models for Co-Design
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Institute of Electrical and Electronics Engineers
  • Association for Computing Machinery
  • ACM Special Interest Group on Design Automation
  • Association for Computing Machinery
  • IEEE Council on Electronic Design Automation
  • Microsoft Research
http://library.link/vocab/subjectName
  • Computer simulation
  • Computer-aided design
  • Formal methods (Computer science)
Label
MEMOCODE 2011 : Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign : Cambridge, UK : July 11-13, 2011, [sponsors, Microsoft Research Cambridge, IEEE CEDA, ACM SIGBED, and ACM SIGDA]
Instantiates
Publication
Note
Title from Frontmatter screen, viewed 22 August 2011
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
mixed
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
IEEE827758339
Dimensions
unknown
Extent
1 online resource
File format
one file format
Form of item
online
Isbn
9781457701184
Media category
computer
Media MARC source
rdamedia
Media type code
c
Specific material designation
remote
System control number
  • ocn827758339
  • (OCoLC)827758339
Label
MEMOCODE 2011 : Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign : Cambridge, UK : July 11-13, 2011, [sponsors, Microsoft Research Cambridge, IEEE CEDA, ACM SIGBED, and ACM SIGDA]
Publication
Note
Title from Frontmatter screen, viewed 22 August 2011
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
mixed
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
IEEE827758339
Dimensions
unknown
Extent
1 online resource
File format
one file format
Form of item
online
Isbn
9781457701184
Media category
computer
Media MARC source
rdamedia
Media type code
c
Specific material designation
remote
System control number
  • ocn827758339
  • (OCoLC)827758339

Library Locations

Processing Feedback ...