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

Bibliographic Details
Corporate Author:	FMCAD 2002 Portland, Or.
Other Authors:	Aagaard, Mark, 1966-, O'Leary, John W.
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [2002]
Series:	Lecture notes in computer science. 2517.
Subjects:	Digital integrated circuits > Computer-aided design > Congresses. Integrated circuits > Verification > Congresses. Formal methods (Computer science) > Congresses. Digital integrated circuits > Design and construction > Mathematics > Congresses.

Description
Physical Description:	xi, 398 pages : illustrations ; 24 cm.
Bibliography:	Includes bibliographical references and index.
ISBN:	3540001166 (softcover : alk. paper)
ISSN:	0302-9743 ;