Professional Verification•书评

书名： Professional Verification
作者： Paul Wilcox
出版社： Springer-Verlag New York Inc.
出版年： 2004-5
页数： 225
定价： $ 168.37
ISBN： 9781402078750