书籍 Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕的封面

Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕

Michael Huth

出版社

Cambridge University Press

出版时间

2004

ISBN

标注页数

427 页

PDF页数

444 页

书籍介绍
在线购买PDF电子书