Author :
Perry, Douglas L
Title :
Applied formal verification
Author Statement :
Douglas L. Perry, Harry D. Foster
Publication :
McGraw-Hill
Collation :
xiv, 237 p.: ill., 24 cm
Series :
McGraw-Hill electronic engineering
Subject :
Integrated circuits , Electronic circuits
ADDED ENTRIES :
Foster, Harry, ,
تاريخ ورود اطلاعات :
1388/03/19
Index :
Includes bibliographical references (p. 227-229) and index.
