عنوان

Formal methods in computer-aided design : third International Conference, FMCAD 2000, Austin, Tx, USA, November 1-3, 2000 : proceedings

Formal methods in computer-aided design : third International Conference, FMCAD 2000, Austin, Tx, USA, November 1-3, 2000 : proceedings

2000 : Austin, Tex.

Berlin

Springer-Verlag

c2000

xi, ]539[ p.: ill

Lecture notes in computer science; 4591

Includes bibliographies

ISBN 3540412190

Warren A. Hunt, Jr., Steven D. Johnson )eds.(

Congresses ، Computer engineering

Congresses ، Computer-aided design

Congresses ، Integrated circuits -- Verification

L28

Vol

1954

AU Hunt, Warren A., 1958-

AU Johnson, Steven Dexter

FMCAD