秋田公立美術大学OPAC

ようこそ  ゲスト さん

Formal methods for interactive systems / Alan John Dix

(Computers and people series)
データ種別 図書
出版者 London ; Tokyo : Academic Press
出版年 c1991
本文言語 英語
大きさ 369 p. : ill ; 24 cm

所蔵情報を非表示

1

秋田公立美術大学

配架場所 巻 次 請求記号 登録番号 状 態 コメント ISBN 刷 年 利用注記 予約 指定図書
閉架書庫
007.63 || D79 0131251
0122183150 1991

書誌詳細を非表示

一般注記 Includes bibliographies and index
著者標目 Dix, Alan John
分 類 DC20:004.2
書誌ID 2000031799
ISBN 0122183150
NCID BA13470962

検索結果一覧に戻る ページトップ