Product Description
ISBN: 9781441949851
TITLE: Formal Verification of Circuits
AUTHOR: Rolf Drechsler
PUBLISHER: Springer-Verlag New York Inc.
PUBLISHER DATE: 2 Dec 2010
AED
AED
ISBN: 9781441949851
TITLE: Formal Verification of Circuits
AUTHOR: Rolf Drechsler
PUBLISHER: Springer-Verlag New York Inc.
PUBLISHER DATE: 2 Dec 2010
Popular Trending Products
ISBN: 9783319862231TITLE: Formal System Verification : State-of the-Art and Future TrendsAUTHOR: Rol…
ISBN: 9783319576831TITLE: Formal System Verification : State-of the-Art and Future TrendsAUTHOR: Rol…
ISBN: 9783658099930TITLE: Formal Modeling and Verification of Cyber-Physical Systems : 1st Internati…