Advanced formal verification

Author：edited by Rolf Drechsler.
Publisher：Kluwer Academic Publishers
ISBN：9781402025303 (electronic bk.) ; 9781402077210 (paper)
Publication Date：c2004.
其他作者：Drechsler, Rolf.
語言：zh
出版地：Boston :
Description

xxv, 249 p. ::ill., digital ;:25 cm.

Search Same Author