bibliographic details
： APPLIED FORMAL VERIFICATION /
bibliographic information Machine-Readable Catalogue
| ISBN： | 007144372X (alk. paper) |
|---|---|
| 编目源： | DLC DLC C#P |
| 个人名称： | Perry, Douglas L. |
| 题名： | Applied formal verification / Douglas L. Perry, Harry D. Foster. |
| 出版发行项： | New York : McGraw-Hill, c2005. |
| 载体形态： | xiv, 237 p. : ill. ; 24 cm. |
| 书目附注： | Includes bibliographical references (p. 227-229) and index. |