Symbolic Simulation Methods for Industrial Formal Verification
by Robert B. Jones Hardcover 2002
- Author: Robert B. Jones
- ISBN 13: 9781402071034
- ISBN 10: 1402071035
- Publication Year: 2002
- Language: English
Specifications
Index-101402071035
LanguageEnglish
Index-139781402071034
Period-
Class Track-
Publisher- (2002)
Pages-