このページのリンク

利用統計

  • このページへのアクセス:13回

  • 貸出数:0回
    (1年以内の貸出数:0回)

<図書>
Formal verification of control system software

責任表示 Pierre-Loïc Garoche
シリーズ Princeton series in applied mathematics
データ種別 図書
出版者 Princeton : Princeton University Press
出版年 c2019
本文言語 英語
大きさ viii, 219 p. : ill. ; 25 cm

所蔵情報


理系図3F 数理独自 130012019003852 GARO/5/1 2019

書誌詳細

一般注記 Includes bibliographical references (p. [201]-216) and index
著者標目 Garoche, Pierre-Loïc
書誌ID 1001677353
ISBN 9780691181301
NCID BB28307485
巻冊次 ISBN:9780691181301
登録日 2019.06.14
更新日 2019.06.14