Coverart for item
The Resource First ACM and IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE'03 : proceedings : 24-26 June 2003, Mont Saint-Michel, France, sponsored by IEEE Cpmputer Society Design Automation Technical Committee (DATC), IEEE Circuits and Systems Society, ACM Special Interest Group on Design Automation ; in cooperation with INRIA ; with financial support from IRISA, CNRS

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE'03 : proceedings : 24-26 June 2003, Mont Saint-Michel, France, sponsored by IEEE Cpmputer Society Design Automation Technical Committee (DATC), IEEE Circuits and Systems Society, ACM Special Interest Group on Design Automation ; in cooperation with INRIA ; with financial support from IRISA, CNRS

Label
First ACM and IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE'03 : proceedings : 24-26 June 2003, Mont Saint-Michel, France
Title
First ACM and IEEE International Conference on Formal Methods and Models for Co-Design
Title remainder
MEMOCODE'03 : proceedings : 24-26 June 2003, Mont Saint-Michel, France
Statement of responsibility
sponsored by IEEE Cpmputer Society Design Automation Technical Committee (DATC), IEEE Circuits and Systems Society, ACM Special Interest Group on Design Automation ; in cooperation with INRIA ; with financial support from IRISA, CNRS
Title variation
MEMOCODE'03
Creator
Contributor
Subject
Genre
Language
eng
Related
Member of
Cataloging source
HNK
Illustrations
illustrations
Index
index present
LC call number
QA76.9.C65
LC item number
A28 2003e
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2003
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
  • IEEE Computer Society
  • IEEE Circuits and Systems Society
  • ACM Special Interest Group on Design Automation
http://library.link/vocab/subjectName
Computer simulation
Label
First ACM and IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE'03 : proceedings : 24-26 June 2003, Mont Saint-Michel, France, sponsored by IEEE Cpmputer Society Design Automation Technical Committee (DATC), IEEE Circuits and Systems Society, ACM Special Interest Group on Design Automation ; in cooperation with INRIA ; with financial support from IRISA, CNRS
Instantiates
Publication
Note
"IEEE Computer Society Order Number PR01923"--Title page verso
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
IEEE52852061
Extent
1 online resource (285 pages)
Form of item
online
Isbn
9780769519234
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations (some color)
Specific material designation
remote
System control number
  • ocm52852061\
  • (OCoLC)52852061
Label
First ACM and IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE'03 : proceedings : 24-26 June 2003, Mont Saint-Michel, France, sponsored by IEEE Cpmputer Society Design Automation Technical Committee (DATC), IEEE Circuits and Systems Society, ACM Special Interest Group on Design Automation ; in cooperation with INRIA ; with financial support from IRISA, CNRS
Publication
Note
"IEEE Computer Society Order Number PR01923"--Title page verso
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
IEEE52852061
Extent
1 online resource (285 pages)
Form of item
online
Isbn
9780769519234
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations (some color)
Specific material designation
remote
System control number
  • ocm52852061\
  • (OCoLC)52852061

Library Locations

Processing Feedback ...