Product Description
ISBN: 9781441959973
TITLE: Scalable Techniques for Formal Verification
AUTHOR: Sandip Ray
PUBLISHER: Springer-Verlag New York Inc.
PUBLISHER DATE: 25 May 2010
AED
AED
ISBN: 9781441959973
TITLE: Scalable Techniques for Formal Verification
AUTHOR: Sandip Ray
PUBLISHER: Springer-Verlag New York Inc.
PUBLISHER DATE: 25 May 2010
Popular Trending Products
ISBN: 9783319934631TITLE: Security Policy in System-on-Chip Designs : Specification, Implementation …
ISBN: 9783030066666TITLE: Security Policy in System-on-Chip Designs : Specification, Implementation …