Coverart for item
The Resource Formal methods in computer-aided design : Proceedings of Formal Methods in Computer Aided Design [6th International Conference] : 12-16 November, 2006, San Jose, California, USA, [Aarti Gupta, Panagiotis Manolios, chairs] ; IEEE Computer Society, (electronic resource)

Formal methods in computer-aided design : Proceedings of Formal Methods in Computer Aided Design [6th International Conference] : 12-16 November, 2006, San Jose, California, USA, [Aarti Gupta, Panagiotis Manolios, chairs] ; IEEE Computer Society, (electronic resource)

Label
Formal methods in computer-aided design : Proceedings of Formal Methods in Computer Aided Design [6th International Conference] : 12-16 November, 2006, San Jose, California, USA
Title
Formal methods in computer-aided design
Title remainder
Proceedings of Formal Methods in Computer Aided Design [6th International Conference] : 12-16 November, 2006, San Jose, California, USA
Statement of responsibility
[Aarti Gupta, Panagiotis Manolios, chairs] ; IEEE Computer Society
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
LHL
Dewey number
621.3815
LC call number
TK7874.65
LC item number
.F53 2006
http://bibfra.me/vocab/lite/meetingDate
2006
http://bibfra.me/vocab/lite/meetingName
FMCAD '06
http://library.link/vocab/relatedWorkOrContributorName
IEEE Computer Society
http://library.link/vocab/subjectName
  • Digital integrated circuits
  • Integrated circuits
  • Formal methods (Computer science)
  • Digital integrated circuits
Label
Formal methods in computer-aided design : Proceedings of Formal Methods in Computer Aided Design [6th International Conference] : 12-16 November, 2006, San Jose, California, USA, [Aarti Gupta, Panagiotis Manolios, chairs] ; IEEE Computer Society, (electronic resource)
Instantiates
Publication
Note
"IEEE Computer Society Order Number P2707" -- T.p. verso
Bibliography note
Includes bibliographical references and author index
Control code
OCM1bookssj0000394765
Dimensions
27 cm.
Dimensions
unknown
Extent
ix, 193 pages
Isbn
9780769527079
Lccn
2006935247
Other physical details
illustrations
Specific material designation
remote
System control number
(WaSeSS)ssj0000394765
Label
Formal methods in computer-aided design : Proceedings of Formal Methods in Computer Aided Design [6th International Conference] : 12-16 November, 2006, San Jose, California, USA, [Aarti Gupta, Panagiotis Manolios, chairs] ; IEEE Computer Society, (electronic resource)
Publication
Note
"IEEE Computer Society Order Number P2707" -- T.p. verso
Bibliography note
Includes bibliographical references and author index
Control code
OCM1bookssj0000394765
Dimensions
27 cm.
Dimensions
unknown
Extent
ix, 193 pages
Isbn
9780769527079
Lccn
2006935247
Other physical details
illustrations
Specific material designation
remote
System control number
(WaSeSS)ssj0000394765

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 ...