Mendeley出力
＜図書＞
Automata theory and its applications
| 責任表示 | Bakhadyr Khoussainov, Anil Nerode |
|---|---|
| シリーズ | Progress in computer science and applied logic ; v. 21 |
| データ種別 | 図書 |
| 出版情報 | Boston ; Basel : Birkhäuser , c2001 |
| 本文言語 | 英語 |
| 大きさ | xiv, 430 p. : ill. ; 24 cm |
| 概要 | This introduction fills an important gap in the market by presenting a uniform treatment of the theory of finite state machines. The book covers all standard fundamental results as well as their impor...ant applications to operating systems, temporal logic, database theory and communication systems. The exposition is self-contained and includes numerous examples, illustrations, and exercises. The book will be a useful reference for computer science professionals and students who wish to understand the foundations of modern formal approaches to software development, validation, and verification.続きを見る |
| 電子版へのリンク | https://hdl.handle.net/2324/6869738 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図3F 数理独自 | KHOU/10/1 | 2001 |
|
023212001004325 |
|
書誌詳細
| 一般注記 | Includes bibliographical references (p. [403]-421) and index |
|---|---|
| 著者標目 | *Khoussainov, Bakhadyr, 1961- Nerode, Anil, 1932- |
| 件 名 | LCSH:Machine theory |
| 分 類 | LCC:QA267.K56 DC21:511.3 |
| 書誌ID | 1001396786 |
| ISBN | 0817642072 |
| NCID | BA52553582 |
| 巻冊次 | ISBN:0817642072 |
| 登録日 | 2009.11.02 |
| 更新日 | 2009.11.02 |