<図書>

Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada / Peter E. Lauer (ed.)

(Lecture notes in computer science;693)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図 : gw 39:L:1.693 2012465817

6654/保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 c1993
大きさ x, 398 p. : ill. ; 24 cm
一般注記 Includes bibliographical references
著者標目 Lauer, Peter E
分 類 NDC8:007.64
本文言語 英語
書誌ID 2000303328
ISBN 3540568832
NCID BA20594069 WCLINK

検索結果一覧に戻る ページトップ