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

Bibliographic Details
Corporate Author:	FMCAD 2000 Austin, Tex.
Other Authors:	Hunt, Warren A., 1958-, Johnson, Steven D. (Steven Dexter)
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [2000]
Series:	Lecture notes in computer science. 1954.
Subjects:	Computer engineering > Computer-aided design > Congresses. Integrated circuits > Verification > Congresses.

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