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.

• Material Type: 図書
• ISBN: 9783662436516; 3662436515
• ISSN (series): 0302-9743
• Title: 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.
• Series Title: Lecture Notes in Computer Science ; 8477
• Title Heading: Lecture notes in computer science ; 8477.; LNCS sublibrary. SL 1, Theoretical computer science and general issues.
• Author Heading: ABZ 2014 (2014 : Toulouse, France); Aït-Ameur, Yamine.; Schewe, Klaus-Dieter.
• Publication, Distribution, etc.: Heidelberg : Springer (出版)
• Publication Date: [2014]; 著作権日付 : ©2014
• Publication Date (W3CDTF): 2014
• Extent: xv, 336 pages
• Other physical details: illustrations
• Size: 24 cm.
• Place of Publication (Country Code): DE
• Text Language Code: eng
• Genre/Form Terms: Conference proceedings.
• Content Type: text
• Media Type: unmediated
• Carrier Type: volume
• Subject Heading: Machine learning--Congresses.; Machine theory--Congresses.; Machine learning.; Machine theory.
• LCC: Q325.5
• NDLC: M17
• Target Audience: 一般
• Note (General): 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.
• Note (Bibliography): Includes bibliographical references and author index.
• Holding library: 国立国会図書館
• Call No.: M17-15-591
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 025574690; http://id.ndl.go.jp/bib/025574690
• OCLC No.: 890849305; https://www.worldcat.org/oclc/890849305
• Cataloging Rule: RDA
• Bibliographic Record Category (NDL): 215