The Resource FMCAD : Formal Methods in Computer Aided Design : Lugano, Switzerland, 20-23 October, 2010, edited by Roderick Bloem and Natasha Sharygina ; in cooperation with ACM's SIGPLAN (Special Interest Group on Programming Languages) and SIGSOFT (Special Interest Group on Software Engineering) ; Technical Sponsorship from IEEE Council on Electronic Design Automation (CEDA)

FMCAD : Formal Methods in Computer Aided Design : Lugano, Switzerland, 20-23 October, 2010, edited by Roderick Bloem and Natasha Sharygina ; in cooperation with ACM's SIGPLAN (Special Interest Group on Programming Languages) and SIGSOFT (Special Interest Group on Software Engineering) ; Technical Sponsorship from IEEE Council on Electronic Design Automation (CEDA)

Label
FMCAD : Formal Methods in Computer Aided Design : Lugano, Switzerland, 20-23 October, 2010
Title
FMCAD
Title remainder
Formal Methods in Computer Aided Design : Lugano, Switzerland, 20-23 October, 2010
Statement of responsibility
edited by Roderick Bloem and Natasha Sharygina ; in cooperation with ACM's SIGPLAN (Special Interest Group on Programming Languages) and SIGSOFT (Special Interest Group on Software Engineering) ; Technical Sponsorship from IEEE Council on Electronic Design Automation (CEDA)
Title variation
  • Formal Methods in Computer-Aided Design (FMCAD), 2010
  • FMCAD 2010
  • Formal methods in computer aided design
  • 2010 Formal Methods in Computer-Aided Design
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
MYG
Illustrations
illustrations
Index
index present
LC call number
TK7874.65
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2010
http://bibfra.me/vocab/lite/meetingName
FMCAD 2010
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Bloem, Roderick P
  • Sharygina, Natasha
  • Institute of Electrical and Electronics Engineers
  • IEEE Computer Society
  • ACM Special Interest Group on Programming Languages
  • ACM Sigsoft
  • IEEE Council on Electronic Design Automation
http://library.link/vocab/subjectName
  • Digital integrated circuits
  • Integrated circuits
  • Formal methods (Computer science)
  • Digital integrated circuits
  • Digital integrated circuits
  • Formal methods (Computer science)
  • Integrated circuits
Label
FMCAD : Formal Methods in Computer Aided Design : Lugano, Switzerland, 20-23 October, 2010, edited by Roderick Bloem and Natasha Sharygina ; in cooperation with ACM's SIGPLAN (Special Interest Group on Programming Languages) and SIGSOFT (Special Interest Group on Software Engineering) ; Technical Sponsorship from IEEE Council on Electronic Design Automation (CEDA)
Instantiates
Publication
Copyright
Note
"IEEE Catalog Number CFP10FMC-ART"--PDF Copyright page
Bibliography note
Includes bibliographical references and 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
759989153
Dimensions
unknown
Extent
1 online resource (vii, 279 pages)
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations (some color)
Specific material designation
remote
System control number
(OCoLC)759989153
Label
FMCAD : Formal Methods in Computer Aided Design : Lugano, Switzerland, 20-23 October, 2010, edited by Roderick Bloem and Natasha Sharygina ; in cooperation with ACM's SIGPLAN (Special Interest Group on Programming Languages) and SIGSOFT (Special Interest Group on Software Engineering) ; Technical Sponsorship from IEEE Council on Electronic Design Automation (CEDA)
Publication
Copyright
Note
"IEEE Catalog Number CFP10FMC-ART"--PDF Copyright page
Bibliography note
Includes bibliographical references and 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
759989153
Dimensions
unknown
Extent
1 online resource (vii, 279 pages)
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations (some color)
Specific material designation
remote
System control number
(OCoLC)759989153

Library Locations

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