Research Catalog

Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000 : proceedings

Title
Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000 : proceedings / Warren A. Hunt, Jr., Steven D. Johnson, eds.
Author
FMCAD 2000 (2000 : Austin, Tex.)
Publication
Berlin ; New York : Springer, 2000.

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 TK7885.A1 F59 2000Off-site

Details

Additional Authors
  • Hunt, Warren A., 1958-
  • Johnson, Steven D. (Steven Dexter)
Description
xi, 537 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 1954
Uniform Title
Lecture notes in computer science ; 1954.
Subjects
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
3540412190 (softcover : alk. paper)
LCCN
00049710
OCLC
  • 505684289
  • ocn505684289
  • SCSB-3979428
Owning Institutions
Columbia University Libraries