このページのリンク

利用統計

  • このページへのアクセス:201回

  • 貸出数:15回
    (1年以内の貸出数:0回)

<図書>
Logic in computer science : modelling and reasoning about systems

責任表示 Michael Huth, Mark Ryan
データ種別 図書
2nd ed.
出版者 Cambridge : Cambridge University Press
出版年 2004
本文言語 英語
大きさ xiv, 427 p. : ill. ; 25 cm
概要 The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical ap...lications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8 続きを見る

所蔵情報

: pbk 中央図 4A 003212004001758 007.1/H 98 2004
: pbk 理系図1F 開架 031212007000196 007.1/H 98 2006
: pbk 理系図3F 数理独自 023212004004177 HUTH/10/2 2004

書誌詳細

一般注記 Includes bibliographical references and index
著者標目 *Huth, Michael, 1962-
Ryan, Mark
件 名 LCSH:Computer logic
分 類 LCC:QA76.9.L63
書誌ID 1001171422
ISBN 052154310X
NCID BA68182231
巻冊次 : pbk ; ISBN:052154310X
登録日 2009.09.17
更新日 2009.09.17

類似資料

この資料を借りた人はこんな資料も借りています