Coverart for item
The Resource Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings, Mark D. Aagaard, John W. O'Leary (eds.)

Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings, Mark D. Aagaard, John W. O'Leary (eds.)

Label
Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings
Title
Formal methods in computer-aided design
Title remainder
4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings
Statement of responsibility
Mark D. Aagaard, John W. O'Leary (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2002, held in Portland, OR, USA in November 2002. The 23 revised full papers presented were carefully reviewed and selected from 47 submissions. The book offers topial sections on abstraction, symbolic simulation, model checking, microprocessor specification and verification, decision procedures, verification techniques and methodology, hardware description languages, and prototyping and synthesis
Member of
Cataloging source
COO
Dewey number
621.39/2
Illustrations
illustrations
Index
index present
LC call number
TK7874.65
LC item number
.F53 2002
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2002
http://bibfra.me/vocab/lite/meetingName
FMCAD 2002
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1966-
http://library.link/vocab/relatedWorkOrContributorName
  • Aagaard, Mark
  • O'Leary, John W
Series statement
Lecture notes in computer science
Series volume
2517
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
Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings, Mark D. Aagaard, John W. O'Leary (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
166466864
Dimensions
unknown
Extent
1 online resource (xi, 398 pages)
Form of item
online
Isbn
9783540361268
Lccn
2002036593
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)166466864
Label
Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings, Mark D. Aagaard, John W. O'Leary (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
166466864
Dimensions
unknown
Extent
1 online resource (xi, 398 pages)
Form of item
online
Isbn
9783540361268
Lccn
2002036593
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)166466864

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...