京都産業大学図書館
ログイン
  • 目録検索 目録検索 ▼
  • マイライブラリー マイライブラリー ▼
    • 利用状況の確認
    • ブックマーク
    • お気に入り検索
    • 新着アラート
    • ILL複写依頼
    • ILL貸借依頼
    • 図書購入申込（個別申込：教職員・大学院生）
    • 長期貸出資料更新手続

京都産業大学図書館

検索結果一覧へ戻る

Formal methods - the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019 : proceedings

Maurice H. ter Beek, Annabelle McIver, José N. Oliveira (eds.). -- Springer, 2019. -- (Lecture notes in computer science ; 11800 . Formal methods . LNCS sublibrary ; SL 2 . Programming and software engineering). <BB00988672>
登録タグ：
登録されているタグはありません
便利機能：
目次・あらすじを見る 詳細情報を見る
書誌URL：

Formal methods - the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019 : proceedings

Maurice H. ter Beek, Annabelle McIver, José N. Oliveira (eds.). -- Springer, 2019. -- (Lecture notes in computer science ; 11800 . Formal methods . LNCS sublibrary ; SL 2 . Programming and software engineering). <BB00988672>
登録タグ：
登録されているタグはありません
便利機能：
目次・あらすじを見る 詳細情報を見る
書誌URL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No. 巻冊次等 配置場所 運用 資料形態 請求記号 資料ID 状態 返却予定日 予約
0001 自動書庫 007.63||WOR 01358469 0件
No. 0001
巻冊次等
配置場所 自動書庫
運用
資料形態
請求記号 007.63||WOR
資料ID 01358469
状態
返却予定日
予約 0件
このページのTOPへ
このページのTOPへ

書誌詳細

標題および責任表示 Formal methods - the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019 : proceedings / Maurice H. ter Beek, Annabelle McIver, José N. Oliveira (eds.)
出版・頒布事項 Cham : Springer , c2019
形態事項 xxi, 774 p. : ill. ; 24 cm
巻号情報
ISBN 9783030309411
書誌構造リンク Lecture notes in computer science <BB00732837> 11800 . Formal methods . LNCS sublibrary ; SL 2 . Programming and software engineering//aaaa
注記 "This volume contains the papers presented at the 23rd Symposium on Formal Methods (FM 2019), held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, during October 7-11, 2019" -- Preface
注記 Includes bibliographical references and index
学情ID BB29343462
本文言語コード 英語
著者標目リンク World Congress on Formal Methods <> (3rd : 2019 : Porto, Portugal)
著者標目リンク International Symposium of Formal Methods Europe <AU00091582> (23rd : 2019 : Porto, Portugal)
著者標目リンク Beek, Maurice H. ter <>
著者標目リンク McIver, Annabelle <>
著者標目リンク Oliveira, José N. <AU00147424>
分類標目 LCC:QA76.9.F67
分類標目 DC23:004.01/51
件名標目等 Formal methods (Computer science) -- Congresses
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ

  • 関連情報

    関連資料

    他の検索サイトで探す

    他大学資料確認

    資料を取り寄せる

    • ILL複写依頼(コピー取り寄せ)
    • ILL貸借依頼(現物借用)

    購入依頼

    この書誌のQRコード