Scalable Techniques for Formal Verification

Scalable Techniques for Formal Verification

Show other versions (1)
Bibliographic Details
Main Author: Ray, Sandip
Corporate Author: SpringerLink (Online service)
Format: Electronic Kit Book
Language:English
Published: Boston, MA Springer Science+Business Media, LLC 2010
Subjects:
Engineering
Computer aided design
Systems engineering
Circuits and Systems
Computer-Aided Engineering (CAD, CAE) and Design
Online Access:http://dx.doi.org/10.1007/978-1-4419-5998-0
Description
Physical Description:v.: digital
ISBN:9781441959980

Similar Items