A Roadmap for Formal Property Verification

A Roadmap for Formal Property Verification

Show other versions (1)
Bibliographic Details
Main Author: DasGupta, Pallab
Format: Electronic Kit Book
Language:English
Published: Dordrecht Springer 2006
Subjects:
Engineering
Computer engineering
Electronics
Logic design
Computer science
Computer aided design
Systems engineering
Electronic and Computer Engineering
Electronics and Microelectronics, Instrumentation
Logic Design
Mathematical Logic and Formal Languages
Computer-Aided Engineering (CAD, CAE) and Design
Circuits and Systems
Online Access:http://dx.doi.org/10.1007/978-1-4020-4758-9

Similar Items

Similar Items