群馬工業高等専門学校

Tree automata and languages

edited by Maurice Nivat, Andreas Podelski. -- North-Holland, 1992. -- (Studies in computer science and artificial intelligence ; 10). <BB00955954>
登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 コメント 返却予定日 予約
0001 群馬高専 書庫1階 007.64||N88 3111092 0件
No. 0001
巻号
所蔵館 群馬高専
配置場所 書庫1階
請求記号 007.64||N88
資料ID 3111092
状態
コメント
返却予定日
予約 0件

書誌詳細

標題および責任表示 Tree automata and languages / edited by Maurice Nivat, Andreas Podelski
出版・頒布事項 Amsterdam : North-Holland , 1992
形態事項 viii, 485 p. : ill. ; 25 cm
巻号情報
ISBN 0444890262
書誌構造リンク Studies in computer science and artificial intelligence <BB01001600> 10//a
注記 Includes bibliographical references
学情ID BA1867216X
本文言語コード 英語
著者標目リンク Nivat, Maurice <NC:DA0104972X>
著者標目リンク Podelski, Andreas <NC:DA06845110>
分類標目 LCC:QA267.5.S4
分類標目 DC20:005.13/1
件名標目等 Sequential machine theory
件名標目等 Trees (Graph theory)
件名標目等 Programming languages (Electronic computers)