Coverart for item
The Resource 2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

Label
2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Title
2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Title variation
  • MEMOCODE2020
  • MEMOCODE 2020
Contributor
Publisher
Sponsoring body
Subject
Genre
Language
eng
Member of
Cataloging source
VT2
Illustrations
illustrations
Index
no index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • IEEE Council on Electronic Design Automation
  • ACM Special Interest Group on Design Automation
  • Institute of Electrical and Electronics Engineers
Label
2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Instantiates
Publication
Note
"... held on December 2-4, 2020 as a virtual event"--PDF Preface page
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier MARC source
rdacarrier
Color
mixed
Content category
text
Content type MARC source
rdacontent
Control code
1240508806
Dimensions
unknown
Extent
1 online resource
Form of item
online
Isbn
9781728191485
Media category
computer
Media MARC source
rdamedia
Other physical details
illustrations (some color)
Specific material designation
remote
System control number
(OCoLC)1240508806
Label
2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Publication
Note
"... held on December 2-4, 2020 as a virtual event"--PDF Preface page
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier MARC source
rdacarrier
Color
mixed
Content category
text
Content type MARC source
rdacontent
Control code
1240508806
Dimensions
unknown
Extent
1 online resource
Form of item
online
Isbn
9781728191485
Media category
computer
Media MARC source
rdamedia
Other physical details
illustrations (some color)
Specific material designation
remote
System control number
(OCoLC)1240508806

Library Locations

    • Curtis Laws Wilson LibraryBorrow it
      400 West 14th Street, Rolla, MO, 65409, US
      37.955220 -91.772210
Processing Feedback ...