Cover Image

Formal methods in computer-aided design : 5th international confrence [as printed], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings /

Bibliographic Details
Corporate Author: FMCAD 2004 Austin, Tex.
Other Authors: Hu, Alan J. (Alan John), Martin, Andrew K.
Format: Conference Proceeding eBook
Language:English
Published: Berlin : Springer, 2004.
Series:Lecture notes in computer science ; 3312.
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.
Online Access:Connect to the full text of this electronic book
Description
Physical Description:xi, 444 pages : illustrations ; 24 cm.
Also issued online.
Bibliography:Includes bibliographical references and index.
ISBN:3540237380 (pbk.)
ISSN:0302-9743 ;