Abstract state machines, alloy, B, TLA, VDM, and Z : 4th international conference, ABZ 2014 : Toulouse, France, June 2-6, 2014 : proceedings : ABZ2014 : Jun 2014, Toulouse, France.

• 資料種別: 図書
• ISBN: 9783662436516; 3662436515
• ISSN（シリーズ）: 0302-9743
• タイトル: Abstract state machines, alloy, B, TLA, VDM, and Z : 4th international conference, ABZ 2014 : Toulouse, France, June 2-6, 2014 : proceedings : ABZ2014 : Jun 2014, Toulouse, France.
• シリーズタイトル: Lecture Notes in Computer Science ; 8477
• タイトル標目: Lecture notes in computer science ; 8477.; LNCS sublibrary. SL 1, Theoretical computer science and general issues.
• 著者標目: ABZ 2014 (2014 : Toulouse, France); Aït-Ameur, Yamine.; Schewe, Klaus-Dieter.
• 出版事項: Heidelberg : Springer (出版)
• 出版年月日等: [2014]; 著作権日付 : ©2014
• 出版年（W3CDTF）: 2014
• 数量: xv, 336 pages
• 形態の詳細: illustrations
• 大きさ: 24 cm.
• 出版地（国名コード）: DE
• 本文の言語コード: eng
• ジャンル・形式用語: Conference proceedings.
• 表現種別: text
• 機器種別: unmediated
• キャリア種別: volume
• 件名標目: Machine learning--Congresses.; Machine theory--Congresses.; Machine learning.; Machine theory.
• LCC: Q325.5
• NDLC: M17
• 対象利用者: 一般
• 一般注記: An abstract and papers.; "This year's ABZ was marked by two major events. In addition to ASM, B, Z, Alloy and VDM, ABZ 2014 saw the introduction of TLA (Temporal Logic of Actions) as the 6th formal method covered by ..."--Preface.
• 書誌注記: Includes bibliographical references and author index.
• 所蔵機関: 国立国会図書館
• 請求記号: M17-15-591
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 025574690; http://id.ndl.go.jp/bib/025574690
• OCLC番号: 890849305; https://www.worldcat.org/oclc/890849305
• 目録規則: RDA
• 整理区分コード: 215