Automated technology for verification and analysis : 9th international symposium, ATVA 2011 : Taipei, Taiwan, October 11-14, 2011 : proceedings : ATVA conferences : Oct 2011, Taipei, Taiwan.

• Material Type: 図書
• ISBN: 9783642243721 (e-ISBN); 9783642243714
• ISSN: 16113349 (e-ISSN)
• ISSN (series): 03029743
• Title: Automated technology for verification and analysis : 9th international symposium, ATVA 2011 : Taipei, Taiwan, October 11-14, 2011 : proceedings : ATVA conferences : Oct 2011, Taipei, Taiwan.
• Series Title: Lecture Notes in Computer Science ; 6996
• Title Heading: Lecture notes in computer science ; 6996. 0302-9743
• Author Heading: ATVA 2011 (2011 : Taipei, Taiwan); Bultan, Tevfik.; Hsiung, Pao-Ann.
• Publication, Distribution, etc.: Heidelberg : Springer; New York : Springer
• Publication Date: c2011.
• Publication Date (W3CDTF): 2011
• Extent: xiv, 532 p.
• Other physical details: ill.
• Size: 24 cm.
• Place of Publication (Country Code): DE
• Text Language Code: eng
• Genre/Form Terms: Electronic books.
• Subject Heading: Automatic theorem proving--Congresses.; Artificial intelligence--Congresses.; Computer science; Computer Communication Networks; Software engineering; Logic design; Programming Techniques; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Software Engineering/Programming and Operating Systems
• LCC: QA76.9.A96
• DDC: 006.3/33
• NDLC: M17
• Target Audience: 一般
• Note (General): Papers.
• Note (Bibliography): Includes bibliographical references and author index.
• Source: SpringerLink; http://dx.doi.org/10.1007/978-3-642-24372-1; ebrary; http://site.ebrary.com/id/10501468
• Holding library: 国立国会図書館
• Call No.: M17-12-1330
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000011304710; http://id.ndl.go.jp/bib/000011304710
• OCLC No.: 756510638; https://www.worldcat.org/oclc/756510638
• Cataloging Rule: Anglo-American Cataloging Rules
• Bibliographic Record Category (NDL): 215