621.3815
DasGupta, Pallab.
A Roadmap for Formal Property Verification [electronic resource] /
/ by Pallab DasGupta.
.- XIV, 252 p.. online resource.
TK7888.4
ISBN: 9781402047589
10.1007/978-1-4020-4758-9 doi
Subject Headings:
Engineering.;
Logic design.;
Mathematical logic.;
Computer-aided engineering.;
Electrical engineering.;
Electronics.;
Microelectronics.;
Electronic circuits.;
Engineering.;
Circuits and Systems.;
Computer-Aided Engineering (CAD, CAE) and Design.;
Electronics and Microelectronics, Instrumentation.;
Logic Design.;
Electrical Engineering.;
Mathematical Logic and Formal Languages.;
Copy Details:
Acc. No.: EBK8868, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------