عنوان

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

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

2002 : Portland, Or.

Berlin

Springer-Verlag

c2002

xi, 398 p.: ill., tables

Lecture notes in computer science; 7152

Includes bibliographies

ISBN: 3540001166

Mark D. Aagaard, John W. O'Leary )eds.(

Computer-aided design -- Congresses ، Digital integrated circuits

Congresses ، Integrated circuits -- Verification

Congresses ، Formal methods )Computer science(

Design and construction -- Mathematics -- Congresses ، Digital integrated circuits

L28

Vol

2517

AU Aagaard, Mark, 1966-

AU O'Leary, John W.

FMCAD