Advanced formal verification

作者：edited by Rolf Drechsler.
出版社：Kluwer Academic Publishers
ISBN：9781402025303 (electronic bk.) ; 9781402077210 (paper)
出版日期：c2004.
其他作者：Drechsler, Rolf.
語言：zh
出版地：Boston :
內容簡介

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

搜尋同作者