<図書>

Compositional verification of concurrent and real-time systems / by Eric Y.T. Juan, Jeffrey J.P. Tsai

(The Kluwer international series in engineering and computer science;SECS 676)

所蔵情報を非表示

1

本郷キャンパス

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

図書室(旧研究室資料)

書誌詳細を非表示

出版者 Boston : Kluwer Academic Publishers
出版年 c2002
大きさ xvii, 196 p. ; 25 cm
一般注記 Includes bibliographical references and index
著者標目 Juan, Eric Y.T.
Tsai, Jeffrey J.-P
件 名 LCSH:Parallel processing (Electronic computers)
LCSH:Real-time data processing
LCSH:Computer systems--Verification
分 類 DC21:004/.35
LCC:QA76.58 .J83
本文言語 英語
書誌ID 2001657734
ISBN 140207025X
NCID BA56709253 WCLINK

ページトップ