HILT'13 : proceedings of the ACM conference on high integrity language technology : November 10-14, 2013 : Pittsburgh, PA, USA.

• Material Type: 図書
• ISBN: 9781450324670 (print); 9781450324663
• Title: HILT'13 : proceedings of the ACM conference on high integrity language technology : November 10-14, 2013 : Pittsburgh, PA, USA.
• Author Heading: ACM Conference on High Integrity Language Technology (2013 : Pittsburgh, Pa.)
• Publication, Distribution, etc.: New York, New York : The Association for Computing Machinery (出版)
• Publication Date: [2013]
• Publication Date (W3CDTF): 2013
• Extent: ix, 91 pages
• Other physical details: illustrations
• Size: 28 cm
• Additional Title: ACM SIGAda's annual international conference high integrity language technology : HILT 2013 : annual international conference of the ACM Special Interest Group on the Ada Programming Language (SIGAda) : HILT'13 tutorial : Nov 2013, Pittsburgh, PA.
• Place of Publication (Country Code): US
• Text Language Code: eng
• Genre/Form Terms: Conference papers and proceedings.
• Content Type: text
• Media Type: unmediated
• Carrier Type: volume
• Subject Heading: Computer software--Verification--Congresses.; Ada (Computer program language)--Congresses.; Computer software--Reliability--Congresses.; Ada (Computer program language); Computer software--Reliability.; Computer software--Verification.
• LCC: QA76.76.V47
• NDLC: M17
• Target Audience: 一般
• Note (General): Papers and abstracts.; "HILT 2013 consists of two days of tutorials, and three days of conference sessions."--Page iii.; Described as "HILT'13, November 12-14, 2013, Pittsburgh, PA, USA."--Page 3.
• Note (Bibliography): Includes bibliographical references and author index.
• Holding library: 国立国会図書館
• Call No.: M17-16-51
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 026786787; http://id.ndl.go.jp/bib/026786787
• Cataloging Rule: RDA
• Bibliographic Record Category (NDL): 215