<図書>

Hybrid systems III : verification and control / Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag, (eds.)

(Lecture notes in computer science;1066)

所蔵情報を非表示

1

本郷キャンパス

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

8023/保存書庫

書誌詳細を非表示

出版者 Berlin : Springer
出版年 c1996
大きさ ix, 618 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 Alur, Rajeev, 1966-
Henzinger, T. A. (Thomas A.)
Sontag, Eduardo D.
件 名 LCSH:Hybrid computers -- Congresses
LCSH:Digital control systems -- Congresses
分 類 NDC9:007.04
LCC:QA76.38
DC20:629.8/9
本文言語 英語
書誌ID 2000491581
ISBN 354061155X
NCID BA27489109 WCLINK

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