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, Tex.)
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 TK7874.65 .F53 2004gOff-site

Holdings

Details

Additional Authors
  • Hu, Alan J. (Alan John)
  • Martin, Andrew K.
Description
xi, 444 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science, 0302-9743 ; 3312
Uniform Title
Lecture notes in computer science ; 3312.
Alternative Title
FMCAD 2004
Subjects
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
3540237380 (pbk.)
LCCN
2004115344
OCLC
  • ocm57066779
  • SCSB-5111179
Owning Institutions
Columbia University Libraries