OPAC

検索結果一覧に戻る

Formal methods for interactive systems / Alan John Dix
(Computers and people series)

データ種別	図書
出版者	London : Tokyo : Academic Press
出版年	c1991
本文言語	英語
大きさ	369 p. : ill ; 24 cm
著者標目	Dix, Alan John

所蔵情報を非表示

巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
	射水-2階-洋書	007.61\|\|D79	101120566						予約		予約
	射水-2階-電動書庫	007.61\|\|D79\|\|A	101130813						予約	請求メモ	予約	請求メモ

書誌詳細を非表示

一般注記	Includes bibliographies and index
分　類	DC20:004.2
書誌ID	B000075644
ISBN	0122183150
NCID	BA13470962