OPAC

Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings / Roland Backhouse, José Nuno Oliveira (eds.)
(Lecture notes in computer science ; 1837)

配架場所	請求記号	巻　次	ISBN	資料番号	資料状態	利用注記	コメント	予約・取寄	申込書	仮想書架
書庫2階	QA:76.6:M367:2000		3540677275	003117783				予約・取寄		仮想書架	予約・取寄		仮想書架

一般注記	Includes bibliographical references
著者標目	*International Conference on the Mathematics of Program Construction (5th : 2000 : Ponte de Lima, Portugal) Backhouse, Roland C., 1948- Oliveira, José N.
件　名	LCSH:Computer programming -- Congresses 全ての件名で検索 LCSH:Computer science -- Mathematics -- Congresses 全ての件名で検索
分　類	LCC:QA76.6
巻冊次	ISBN:3540677275
ISBN	3540677275
NCID	BA47400469

目次／あらすじ