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 ... [et al.], (electronic 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 ... [et al.], (electronic resource)

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 ... [et al.]
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
Additional physical form
Also issued in print.
Cataloging source
CSt
Illustrations
illustrations
Index
index present
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 ... [et al.], (electronic resource)
Link
http://ieeexplore.ieee.org/servlet/opac?punumber=11148
Instantiates
Publication
Note
  • Title from PDF t.p
  • "IEEE catalog number 06XE1389"--PDF copyright
Bibliography note
Includes bibliographical references and author index
Color
mixed
Control code
ocm71832536
Dimensions
unknown
Form of item
electronic
Isbn
9781424404216
Specific material designation
remote
System control number
  • (Sirsi) o71832536
  • (OCoLC)71832536
System details
Mode of access: World Wide Web via Internet
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 ... [et al.], (electronic resource)
Link
http://ieeexplore.ieee.org/servlet/opac?punumber=11148
Publication
Note
  • Title from PDF t.p
  • "IEEE catalog number 06XE1389"--PDF copyright
Bibliography note
Includes bibliographical references and author index
Color
mixed
Control code
ocm71832536
Dimensions
unknown
Form of item
electronic
Isbn
9781424404216
Specific material designation
remote
System control number
  • (Sirsi) o71832536
  • (OCoLC)71832536
System details
Mode of access: World Wide Web via Internet

Library Locations

    • ERDC - Vicksburg (US Army Engineer Research and Development Center) Borrow it
      3909 Halls Ferry Road, Vicksburg, MS, 39180-6199, US
      32.3019214 -90.8733482
Processing Feedback ...