OPAC

Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised paper / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
(Lecture notes in computer science ; 2244)

配架場所	請求記号	巻　次	ISBN	資料番号	資料状態	利用注記	コメント	予約・取寄	申込書	仮想書架
書庫2階	QA:75.5:I5443:2001		354043075X	003522099				予約・取寄		仮想書架	予約・取寄		仮想書架

一般注記	Includes bibliogarphical references and index
著者標目	*International Andrei Ershov Memorial Conference (4th : 2001 : Novosibirsk, Russia) Bjørner, D. (Dines), 1937- Broy, M., 1949- Zamulin, Alexandre V.
件　名	LCSH:Computer systems -- Congresses 全ての件名で検索 LCSH:Computer science -- Congresses 全ての件名で検索 LCSH:Computer programs -- Congresses 全ての件名で検索
分　類	LCC:QA76 LCC:QA75.5
巻冊次	ISBN:354043075X
ISBN	354043075X
NCID	BA5495887X

目次／あらすじ