Formal Methods in Computer-Aided Design

Author/creator FMCAD (Conference)
Other author IEEE Computer Society.
Other author IEEE Xplore (Online service)
Format Electronic
Publication InfoLos Alamitos, California : IEEE Computer Society
Supplemental ContentClick here for full text
Subjects
Digital integrated circuits--Computer-aided design. --Congresses.
Digital integrated circuits--Design and construction. --Data processing. --Congresses.
Computer-aided design--Congresses.
Automatic theorem proving--Congresses.
Integrated circuits--Verification. --Congresses.

Uniform titleFormal Methods in Computer-Aided Design (Online)
Variant title At head of title: Proceedings of
Variant title Proceedings of Formal Methods in Computer-Aided Design
Variant title FMCAD ...
FrequencyAnnual
Access restrictionAvailable only to authorized users.
Other formsAlso available in print.
Technical detailsMode of access: World Wide Web.
Action note digitized 2010 HathiTrust Digital Library committed to preserve
Action note digitized 2010 HathiTrust Digital Library committed to preserve
Action note digitized 2010 HathiTrust Digital Library committed to preserve
Source of descriptionDescription based on: 2006; title from PDF title page (IEEE Xplore website, viewed April 3, 2019).
Source of descriptionLatest issue consulted: 2018 (IEEE Xplore website, viewed April 3, 2019).
Issued in other formPrint version: FMCAD (Conference) Formal Methods in Computer-Aided Design 2641-8177
Genre/formElectronic journals.
LCCN 2019204112
ISSN2642-732X
Stock numberIEEE Computer Society, 10662 Los Vaqueros Circle, PO Box 3014, Los Alamitos, CA 90720-1314

Availability

Library Location Call Number Status Item Actions
Electronic Resources Access Content Online ✔ Available