<図書>

Algebraic system specification and development : a survey and annotated bibliography / M. Bidoit ... [et al.], (eds.)

(Lecture notes in computer science;501)

所蔵情報を非表示

1

本郷キャンパス

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

5931/保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1991
大きさ viii, 98 p. ; 25 cm
一般注記 Bibliography: p. [59]-98
著者標目 Bidoit, M. (Michel), 1957-
件 名 LCSH:System design
分 類 LCC:QA76.9.S88
DC20:004.2/1
NDC8:007.61
本文言語 英語
書誌ID 2000205983
ISBN 3540540601
NCID BA12582643 WCLINK

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