Research Catalog

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

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

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 03-90Offsite

Details

Additional Authors
  • Aagaard, Mark, 1966-
  • O'Leary, John W.
Description
xi, 398 p. : ill.; 24 cm.
Series Statement
Lecture notes in computer science, 0302-9743 ; 2517
Alternative Title
FMCAD 2002
Subjects
Bibliography (note)
  • Includes bibliographical references and index.
Additional Formats (note)
  • Also available via the World Wide Web.
Call Number
JSE 03-90
ISBN
3540001166 (softcover : alk. paper)
LCCN
2002036593
OCLC
50844442
Conference
FMCAD 2002 (2002 : Portland, Or.)
Title
Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings / Mark D. Aagaard, John W. O'Leary (eds.).
Imprint
Berlin ; New York : Springer, c2002.
Series
Lecture notes in computer science, 0302-9743 ; 2517
Bibliography
Includes bibliographical references and index.
Additional Formats
Also available via the World Wide Web.
Added Author
Aagaard, Mark, 1966-
O'Leary, John W.
Research Call Number
JSE 03-90
View in Legacy Catalog