Coverart for item
The Resource Formal methods in computer-aided design : 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings, Alan J. Hu, Andrew K. Martin (eds.)

Formal methods in computer-aided design : 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings, Alan J. Hu, Andrew K. Martin (eds.)

Label
Formal methods in computer-aided design : 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings
Title
Formal methods in computer-aided design
Title remainder
5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings
Statement of responsibility
Alan J. Hu, Andrew K. Martin (eds.)
Title variation
FMCAD 2004
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
OHX
Illustrations
illustrations
Index
index present
LC call number
TK7874.65
LC item number
.F53 2004
Literary form
non fiction
Nature of contents
bibliography
Series statement
Lecture notes in computer science,
Series volume
3312
Formal methods in computer-aided design : 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings, Alan J. Hu, Andrew K. Martin (eds.)
Label
Formal methods in computer-aided design : 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings, Alan J. Hu, Andrew K. Martin (eds.)
Publication
Related Contributor
Related Location
Related Agents
Related Authorities
Related Subjects
Related Items
Bibliography note
Includes bibliographical references and author index
http://library.link/vocab/cover_art
https://contentcafe2.btol.com/ContentCafe/Jacket.aspx?Return=1&Type=S&Value=9783540237389&userID=ebsco-test&password=ebsco-test
Dimensions
24 cm.
Dimensions
unknown
http://library.link/vocab/discovery_link
{'f': 'http://opac.lib.rpi.edu/record=b1879357'}
Extent
xi, 444 p.
Isbn
9783540237389
Isbn Type
(pbk.)
Lccn
2004115344
Other physical details
ill.
Specific material designation
remote

Library Locations

    • Folsom LibraryBorrow it
      110 8th St, Troy, NY, 12180, US
      42.729766 -73.682577
Processing Feedback ...