Logic in Computer Science•书评

书名： Logic in Computer Science
作者：
出版社： Cambridge University Press
副标题： Modelling and Reasoning about Systems
出版年： 2004-08-30
页数： 440
定价： USD 72.00
装帧： Paperback
ISBN： 9780521543101