Start Over Please hold this item Export MARC Display Return To Browse
 
     
Limit search to available items
Record: Previous Record Next Record
Title Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design : FMCAD 2014 : October 21-24, 2014, Swiss Federal Institute of Technology Lausanne (EPFL), Switzerland / edited by Koen Claessen and Viktor Kuncak.
Alternative Title Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design : Formal Methods in Computer-Aided Design 2014 : October 21-24, 2014, Swiss Federal Institute of Technology Lausanne (EPFL), Switzerland
Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design
FMCAD '14
Formal Methods in Computer-Aided Design Lausanne, Switzerland, October 21-24, 2014
Publication Info Austin, Texas : FMCAD, 2014.



Descript 1 online resource (219 pages)
Note Includes index.
ISBN 9780983567844 (print)
Click on the terms below to find similar items in the catalogue
Subject Digital integrated circuits -- Computer-aided design -- Congresses.
Integrated circuits -- Verification -- Congresses.
Formal methods (Computer science) -- Congresses.
Alt author Claessen, Koen.
Kuncak, Viktor.
Alternative Title Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design : Formal Methods in Computer-Aided Design 2014 : October 21-24, 2014, Swiss Federal Institute of Technology Lausanne (EPFL), Switzerland
Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design
FMCAD '14
Formal Methods in Computer-Aided Design Lausanne, Switzerland, October 21-24, 2014
Descript 1 online resource (219 pages)
Note Includes index.
ISBN 9780983567844 (print)
Subject Digital integrated circuits -- Computer-aided design -- Congresses.
Integrated circuits -- Verification -- Congresses.
Formal methods (Computer science) -- Congresses.
Alt author Claessen, Koen.
Kuncak, Viktor.
Alternative Title Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design : Formal Methods in Computer-Aided Design 2014 : October 21-24, 2014, Swiss Federal Institute of Technology Lausanne (EPFL), Switzerland
Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design
FMCAD '14
Formal Methods in Computer-Aided Design Lausanne, Switzerland, October 21-24, 2014

Subject Digital integrated circuits -- Computer-aided design -- Congresses.
Integrated circuits -- Verification -- Congresses.
Formal methods (Computer science) -- Congresses.
Descript 1 online resource (219 pages)
Note Includes index.
Alt author Claessen, Koen.
Kuncak, Viktor.
ISBN 9780983567844 (print)

Links and services for this item: