The Resource 2008 Formal Methods in Computer-Aided Design : Portland, Oregon, USA, 17-20 November 2008, edited by Alessandro Cimatti, Robert B. Jones

2008 Formal Methods in Computer-Aided Design : Portland, Oregon, USA, 17-20 November 2008, edited by Alessandro Cimatti, Robert B. Jones

Label
2008 Formal Methods in Computer-Aided Design : Portland, Oregon, USA, 17-20 November 2008
Title
2008 Formal Methods in Computer-Aided Design
Title remainder
Portland, Oregon, USA, 17-20 November 2008
Statement of responsibility
edited by Alessandro Cimatti, Robert B. Jones
Title variation
  • FMCAD '08
  • Formal Methods in Computer-Aided Design, 2008. FMCAD' 08
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
WaSeSS
Dewey number
621.3815
Illustrations
illustrations
Index
no index present
LC call number
TK7874.65
LC item number
.F53 2008
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2008
http://bibfra.me/vocab/lite/meetingName
FMCAD 2008
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1969-
http://library.link/vocab/relatedWorkOrContributorName
  • Cimatti, Alessandro
  • Jones, Robert B.
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
2008 Formal Methods in Computer-Aided Design : Portland, Oregon, USA, 17-20 November 2008, edited by Alessandro Cimatti, Robert B. Jones
Instantiates
Publication
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
456180315
Dimensions
unknown
Extent
1 online resource
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations
Specific material designation
remote
System control number
(OCoLC)456180315
Label
2008 Formal Methods in Computer-Aided Design : Portland, Oregon, USA, 17-20 November 2008, edited by Alessandro Cimatti, Robert B. Jones
Publication
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
456180315
Dimensions
unknown
Extent
1 online resource
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations
Specific material designation
remote
System control number
(OCoLC)456180315

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...