Research Catalog

Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 2002, Proceedings

Title
Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 2002, Proceedings / Mark D. Aagaard, John W. O'Leary (eds.).
Author
FMCAD 2002 (2002 : Portland, Or.)
Publication
New York : Springer, 2002.

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 2002Off-site

Details

Additional Authors
  • Aagaard, Mark, 1966-
  • O'Leary, John W.
Description
xi, 398 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 2517
Uniform Title
Lecture notes in computer science ; 2517.
Subjects
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
3540001166 (softcover : alk. paper)
LCCN
2002036593
OCLC
  • 60850576
  • ocm60850576
  • SCSB-4318263
Owning Institutions
Columbia University Libraries