Research Catalog

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 : 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings / Alan J. Hu, Andrew K. Martin (eds.).
Author
FMCAD 2004 (2004 : Austin, Texas)
Publication
Berlin : Springer, 2004.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance JSE 05-140Offsite

Details

Additional Authors
  • Hu, Alan J. (Alan John)
  • Martin, Andrew K.
Description
xi, 444 p. : ill.; 24 cm.
Series Statement
Lecture notes in computer science, 0302-9743 ; 3312
Alternative Title
FMCAD 2004
Subject
  • Digital integrated circuits > Computer-aided design > Congresses
  • Integrated circuits > Verification > Congresses
  • Formal methods (Computer science) > Congresses
  • Digital integrated circuits > Design and construction > Mathematics > Congresses
Bibliography (note)
  • Includes bibliographical references and index.
Call Number
JSE 05-140
ISBN
3540237380 (pbk.)
LCCN
2004115344
OCLC
57066779
Conference
FMCAD 2004 (2004 : Austin, Texas)
Title
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.).
Imprint
Berlin : Springer, 2004.
Series
Lecture notes in computer science, 0302-9743 ; 3312
Bibliography
Includes bibliographical references and index.
Added Author
Hu, Alan J. (Alan John)
Martin, Andrew K.
Note
FMCAD 2004
Research Call Number
JSE 05-140
View in Legacy Catalog