Interactive models of computation and program behavior

＜図書＞
Interactive models of computation and program behavior

責任表示	Pierre-Louis Curien ... [et al.]
シリーズ	Panoramas et synthèses ; no 27
データ種別	図書
出版者	Paris : Société mathématique de France
出版年	2009
本文言語	英語
大きさ	xvi, 275 p. : ill. ; 24 cm

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		理系図3F 数理独自	CURI/10/2	2009		033212010002223		予約・取寄			予約・取寄

一般注記	"Publié avec le concours du Centre national de la recherche scientifique" Includes bibliographical references
著者標目	Curien, Pierre-Louis Herbelin, Hugo Krivine, Jean-Louis Melliès, Paul-André
書誌ID	1001426281
ISBN	9782856292730
NCID	BB02319605
巻冊次	ISBN:9782856292730
登録日	2010.07.29
更新日	2010.07.29