Computer aided verification

Author：edited by Warren A. Hunt Jr, Fabio Somenzi.
Publisher：Springer
ISBN：9783540405245 (paper)
Publication Date：c2003.
其他作者：Hunt, Jr, Warren A. ; Somenzi, Fabio.
語言：zh
出版地：Berlin ; London :
Description

xiii, 626 p. ::ill., digital ;:24 cm.

Search Same Author