<図書>

Formal methods in computer-aided design : 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings / Mark D. Aagaard, John W. O'Leary (eds.)

(Lecture notes in computer science;2517)

所蔵情報を非表示

1

本郷キャンパス

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

LNCS 閲覧室

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer
出版年 c2002
大きさ xi, 398 p. : ill. ; 24 cm
別書名 表紙タイトル:Formal methods in computer-aided design : 4th International Conference, FMCAD 2002, Portland, OR, USA, November 2002 : proceedings
一般注記 Includes bibliographies and index
著者標目 *FMCAD (Conference) (4th : 2002 : Portland, Or., USA)
Aagaard, Mark D.
O'Leary, John W.
本文言語 英語
書誌ID 2003285292
ISBN 3540001166
NCID BA59824848 WCLINK

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