Formal methods in computer-aided design FMCAD 2007 : proceedings : November 11-14, 2007, Austin, Texas, USA / [Jason Baumgartner, Mary Sheeran, chairs ; sponsored by FMCAD Inc., IEEE Council on Electronic Design Automation (CEDA)].

Formal methods in computer-aided design FMCAD 2007 : proceedings : November 11-14, 2007, Austin, Texas, USA / [Jason Baumgartner, Mary Sheeran, chairs ; sponsored by FMCAD Inc., IEEE Council on Electronic Design Automation (CEDA)]. FMCAD 2007 : proceedings : November 11-14, 2007, Austin, Texas, USA /

Saved in:
Bibliographic Details
Corporate Authors: FMCAD 2007 Austin, Tex., FMCAD Inc, IEEE Council on Electronic Design Automation
Other Authors: Baumgartner, Jason, Sheeran, Mary, 1959-
Format: eBook
Language:English
Published: Las Alamotos, Calif. : IEEE Computer Society, c2007.
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=4401966
Tags: Add Tag
No Tags, Be the first to tag this record!
Login for hold information

Internet

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

Online Resource - Electronic book

Copy [B376576] Available

Similar Items