Formal methods in computer-aided design proceedings of : 12-16 November, 2006, San Jose, California, USA / [sponsored by FMCAD Inc., IEEE Council on Electronic Design Automatiion (CECA)].

Formal methods in computer-aided design proceedings of : 12-16 November, 2006, San Jose, California, USA / [sponsored by FMCAD Inc., IEEE Council on Electronic Design Automatiion (CECA)]. proceedings of : 12-16 November, 2006, San Jose, California, USA /

Saved in:
Bibliographic Details
Corporate Authors: FMCAD 2006 San Jose, Calif., IEEE Computer Society, FMCAD Inc, IEEE Council on Electronic Design Automation, IEEE Xplore (Online service)
Other Authors: Gupta, Aarti, Manolios, Panagiotis
Format: eBook
Language:English
Published: Las Alamotos, Calif. : IEEE Computer Society, c2006.
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:http://ieeexplore.ieee.org/servlet/opac?punumber=4020992
Tags: Add Tag
No Tags, Be the first to tag this record!
Login for hold information

Internet

http://ieeexplore.ieee.org/servlet/opac?punumber=4020992

Online Resource - Electronic book

Copy [B375787] Available

Similar Items