Coverart for item
The Resource Fifth ACM & IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '07 : May 30-June 1, 2007, Nice, France, sponsored by ACM SIG on Embedded Systems [and others] ; with financial support from INRIA [and others]

Fifth ACM & IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '07 : May 30-June 1, 2007, Nice, France, sponsored by ACM SIG on Embedded Systems [and others] ; with financial support from INRIA [and others]

Label
Fifth ACM & IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '07 : May 30-June 1, 2007, Nice, France
Title
Fifth ACM & IEEE International Conference on Formal Methods and Models for Co-Design
Title remainder
MEMOCODE '07 : May 30-June 1, 2007, Nice, France
Statement of responsibility
sponsored by ACM SIG on Embedded Systems [and others] ; with financial support from INRIA [and others]
Title variation
  • Proceedings of the 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign
  • MEMOCODE '07
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 2007
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2007
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
  • Association for Computing Machinery
  • Institut national de recherche en informatique et en automatique (France)
http://library.link/vocab/subjectName
Computer simulation
Label
Fifth ACM & IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '07 : May 30-June 1, 2007, Nice, France, sponsored by ACM SIG on Embedded Systems [and others] ; with financial support from INRIA [and others]
Instantiates
Publication
Note
"IEEE catalog number 07EX1704"--Title page verso
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
IEEE156759563
Dimensions
unknown
Extent
1 online resource (vi, 203 pages)
Form of item
online
Isbn
9781424410507
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations (some color)
Sound
unknown sound
Specific material designation
remote
System control number
  • ocn156759563
  • (OCoLC)156759563
Label
Fifth ACM & IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '07 : May 30-June 1, 2007, Nice, France, sponsored by ACM SIG on Embedded Systems [and others] ; with financial support from INRIA [and others]
Publication
Note
"IEEE catalog number 07EX1704"--Title page verso
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
IEEE156759563
Dimensions
unknown
Extent
1 online resource (vi, 203 pages)
Form of item
online
Isbn
9781424410507
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations (some color)
Sound
unknown sound
Specific material designation
remote
System control number
  • ocn156759563
  • (OCoLC)156759563

Library Locations

Processing Feedback ...