福岡大学蔵書検索

検索結果一覧に戻る

Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin, (eds.)
(Lecture notes in computer science ; 735)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	1993
形態	433 p. ; 25 cm
著者標目	Bjørner, D. (Dines), 1937- Broy, M., 1949- Pottosin, I. V.
件　名	LCSH:Electronic digital computers -- Programming 全ての件名で検索
分　類	NDC:549.92 DDC:005.1 LCC:QA76.6
書誌ID	LT00444321

所蔵情報を非表示

状　態	巻　次	所　在	請求記号	資料番号	ISBN	刷　年	コメント	利用注記	予約・取寄	お薦めの本	自動書庫	付録注記
		中央自動書庫	549.92/L49-1/735	0109539570106	9783540573166				予約・取寄				予約・取寄

書誌詳細を非表示

本文言語	英語
一般注記	Includes bibliogaphical references and index
NCID	BA21101622
巻冊次	ISBN:354057316X

目次／あらすじ