こちらに共通ヘッダが追加されます。

この情報を出力する

このページのリンク

他の検索サイト

Principles of cyber-physical systems / Rajeev Alur

データ種別 図書
出版情報 Cambridge, Mass. : The MIT Press , c2015
大きさ xii, 446 p. : ill. ; 24 cm

所蔵情報を非表示

ラーネッド記念図書館 第1開架 : hbk 007.61||A9557 189201650


書誌詳細を非表示

書誌ID BB13065754
本文言語 英語
一般注記 Includes bibliographical references and index
著者標目 *Alur, Rajeev
件　名 LCSH:Automatic control
LCSH:System design
LCSH:Embedded internet devices
LCSH:Internet of things
LCSH:Formal methods (Computer science)
分　類 LCC:TJ213
DC23:006.22
巻冊次 : hbk ; ISBN:9780262029117 RefWorks出力（各巻）
NCID BB19715006
[BOOKデータASPサービス] あらすじ／目次

 類似資料

 この資料を見た人はこんな資料も見ています