Rigorous state-based methods : 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, proceedings

• 資料種別: 図書
• ISBN: 9783031945328 paperback; 3031945328
• ISSN（シリーズ）: 0302-9743
• タイトル: Rigorous state-based methods : 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, proceedings
• シリーズタイトル: Lecture notes in computer science ; 15728
• 著者標目: creator ： ABZ (Conference) (11th : 2025 : Düsseldorf, Germany); Leuschel, Michael; Ishikawa, Fuyuki
• 出版事項: Cham : Springer (出版)
• 出版年月日等: [2026]
• 出版年（W3CDTF）: 2026
• 数量: xxi, 360 pages
• 形態の詳細: illustrations (black and white)
• 大きさ: 24 cm
• その他のタイトル: 11th International Conference on Rigorous State Based Methods (ABZ) : Jun 2025, Düsseldorf, Germany
• 出版地（国名コード）: CH
• 本文の言語コード: eng
• ジャンル・形式用語: Conference papers and proceedings
• 表現種別: text; still image
• 機器種別: unmediated
• キャリア種別: volume
• 件名標目: Machine theory--Congresses; Théorie des automates--Congrès; Machine theory
• DDC: 511.35
• NDLC: M17
• 対象利用者: 一般
• 一般注記: Abstracts and selected papers
• 書誌注記: Includes bibliographical references and author index
• 一次資料へのリンクURL: SpringerLink; https://doi.org/10.1007/978-3-031-94533-5; Click here to view book; https://public.ebookcentral.proquest.com/choice/PublicFullRecord.aspx?p=32276227
• 所蔵機関: 国立国会図書館
• 請求記号: M17-26-19
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 034335072; http://id.ndl.go.jp/bib/034335072
• OCLC番号: 1535171753; https://www.worldcat.org/oclc/1535171753
• 目録規則: RDA
• 整理区分コード: 215