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.)
Title variation
FMCAD 2002
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
DLC
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
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
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
Dimensions
24 cm.
Dimensions
unknown
Extent
xi, 398 p.
Isbn
9783540001164
Isbn Type
(softcover : alk. paper)
Lccn
20020365 93
Other physical details
ill.
Specific material designation
remote
System control number
(OCoLC)50844442
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
Dimensions
24 cm.
Dimensions
unknown
Extent
xi, 398 p.
Isbn
9783540001164
Isbn Type
(softcover : alk. paper)
Lccn
20020365 93
Other physical details
ill.
Specific material designation
remote
System control number
(OCoLC)50844442

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...