Abstract state machines, alloy, B, VDM, and Z : third international conference, ABZ 2012 : Pisa, Italy, June 18-21, 2012 : proceedings : 9th international conference on integrated formal methods : iFM&ABZ 2012 : iFM event : joint iFM2012 and ABZ2012 conference : Jun 2012, Pisa, Italy.

• Material Type: 図書
• ISBN: 9783642308857 (e-ISBN); 9783642308840
• ISSN: 16113349 (e-ISSN)
• ISSN (series): 03029743
• Title: Abstract state machines, alloy, B, VDM, and Z : third international conference, ABZ 2012 : Pisa, Italy, June 18-21, 2012 : proceedings : 9th international conference on integrated formal methods : iFM&ABZ 2012 : iFM event : joint iFM2012 and ABZ2012 conference : Jun 2012, Pisa, Italy.
• Series Title: Lecture Notes in Computer Science ; 7316
• Title Heading: Lecture notes in computer science ; 7316. 1611-3349; LNCS sublibrary. SL 1, Theoretical computer science and general issues.
• Author Heading: ABZ (Conference) (3rd : 2012 : Pisa, Italy); Derrick, John, 1963-; Consiglio Nazionale delle Ricerche (CNR). Istituto di Scienze e Tecnologie dell'Informazione.
• Publication, Distribution, etc.: Berlin : Springer; New York : Springer
• Publication Date: c2012.
• Publication Date (W3CDTF): 2012
• Extent: xv, 378 p.
• Other physical details: ill.
• Size: 24 cm.
• Additional Title: Abstract state machines, alloy, B, VDM, and Z : 3rd international conference, ABZ 2012 : Pisa, Italy, June 18-21, 2012 : proceedings.
• Place of Publication (Country Code): DE; US
• Text Language Code: eng
• Genre/Form Terms: Electronic books.
• Subject Heading: Machine learning--Congresses.; Formal methods (Computer science)--Congresses.; Computer science.; Computer software.; Logic design.; Computational complexity.; Logics and Meanings of Programs.; Algorithm Analysis and Problem Complexity.; Computation by Abstract Devices.; Mathematics of Computing.; Discrete Mathematics in Computer Science.
• LCC: Q325.5
• DDC: 006.3/1
• NDLC: M17
• Target Audience: 一般
• Note (General): Papers.; "iFM 2012, (...) and ABZ 2012, (...) joined together in a single event, iFM&ABZ 2012, (...)" -- pref. of iFM & ABZ 2012.; "The novelty of this third international event is the inclusion of the VDM community in the ABZ conference series." -- pref. to the volume.
• Note (Bibliography): Includes bibliographical references and author index.
• Source: SpringerLink; http://dx.doi.org/10.1007/978-3-642-30885-7
• Holding library: 国立国会図書館
• Call No.: M17-13-532
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 023927965; http://id.ndl.go.jp/bib/023927965
• OCLC No.: 798652494; https://www.worldcat.org/oclc/798652494
• Cataloging Rule: Anglo-American Cataloging Rules
• Bibliographic Record Category (NDL): 215