Coverart for item
The Resource Proceedings : Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '06 : July 27-30, 2006, Napa, California, sponsored by ACM SIG on Design Automation [and others]

Proceedings : Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '06 : July 27-30, 2006, Napa, California, sponsored by ACM SIG on Design Automation [and others]

Label
Proceedings : Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '06 : July 27-30, 2006, Napa, California
Title
Proceedings
Title remainder
Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '06 : July 27-30, 2006, Napa, California
Statement of responsibility
sponsored by ACM SIG on Design Automation [and others]
Title variation
  • Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design
  • MEMOCODE '06
  • Formal Methods and Models for Co-Design, 2006, MEMOCODE '06, proceedings, Fourth ACM and IEEE International Conference on
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
STF
Illustrations
illustrations
Index
index present
LC call number
QA76.9.C65
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2006
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
ACM Special Interest Group on Design Automation
http://library.link/vocab/subjectName
Computer simulation
Label
Proceedings : Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '06 : July 27-30, 2006, Napa, California, sponsored by ACM SIG on Design Automation [and others]
Instantiates
Publication
Note
  • Title from PDF title page
  • "IEEE catalog number 06XE1389"--PDF copyright
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
IEEE71832536
Dimensions
unknown
Extent
1 online resource.
Form of item
online
Isbn
9781424404216
Media category
computer
Media MARC source
rdamedia
Media type code
c
Specific material designation
remote
System control number
  • ocm71832536\
  • (OCoLC)71832536
Label
Proceedings : Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '06 : July 27-30, 2006, Napa, California, sponsored by ACM SIG on Design Automation [and others]
Publication
Note
  • Title from PDF title page
  • "IEEE catalog number 06XE1389"--PDF copyright
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
IEEE71832536
Dimensions
unknown
Extent
1 online resource.
Form of item
online
Isbn
9781424404216
Media category
computer
Media MARC source
rdamedia
Media type code
c
Specific material designation
remote
System control number
  • ocm71832536\
  • (OCoLC)71832536

Library Locations

Processing Feedback ...