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

Remote Storage