请输入要查询的图书：
ISBN: 9780262032704
出版社: The MIT Press
出版年: 07 January, 2000
页数: 314
定价: $60.00
装帧: Hardcover
Model checking领域的权威书籍