<図書>

The Vienna development method : the meta-language / edited by D. Bjørner and C.B. Jones

(Lecture notes in computer science;61)

所蔵情報を非表示

1

本郷キャンパス

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

RECON/保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
数理科学・保存
RO:Vienna 8001015612


数理科学・保存基数
BE:LNCS:61 8001463952


5

柏キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
柏数物・書庫(別置S)
RO:Vienna 8950134166


書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 1978
大きさ xv, 382 p. ; 25 cm
別書名 異なりアクセスタイトル:Meta-language
一般注記 Bibliography: p. [375]-382
著者標目 Bjørner, D. (Dines), 1937-
Jones, Cliff B., 1944-
件 名 LCSH:ML (Computer program language)
分 類 LCC:QA76.7
DC:001.6/424
本文言語 英語
書誌ID 2000866962
ISBN 3540087664
NCID BA03623590 WCLINK

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