Automated technology for verification and analysis : 11th international symposium, ATVA 2013 : Hanoi, Vietnam, October 15-18, 2013 : proceedings : Oct 2013, Hanoi, Vietnam. (Lecture Notes in Computer Science ; 8172)

Automated technology for verification and analysis : 11th international symposium, ATVA 2013 : Hanoi, Vietnam, October 15-18, 2013 : proceedings : Oct 2013, Hanoi, Vietnam.

(Lecture Notes in Computer Science ; 8172)

Call No. (NDL): M17-14-770
Bibliographic ID of National Diet Library: 024902108

Material type: 図書

Author: ATVA 2013 (2013 : Hanoi, Vietnam)ほか

Publisher: Springer

Publication date: c2013.

Material Format: Paper

Capacity, size, etc.: xiv, 528 p. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers and an abstract.

Other physical details：: ill.

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9783319024431
9783319024448 (e-ISBN)
ISSN: 16113349 (e-ISSN)
ISSN (series): 03029743
Title: Automated technology for verification and analysis : 11th international symposium, ATVA 2013 : Hanoi, Vietnam, October 15-18, 2013 : proceedings : Oct 2013, Hanoi, Vietnam.
Series Title: Lecture Notes in Computer Science ; 8172
Title Heading: Lecture notes in computer science ; 8172.
LNCS sublibrary. SL 2, Programming and software engineering.
Author Heading: ATVA 2013 (2013 : Hanoi, Vietnam)
Dang, Hung Van, 1950-
Ogawa, Mizuhito.
Vietnam National University, Hanoi. University of Engineering and Technology.
Publication, Distribution, etc.: Heidelberg : Springer
Publication Date: c2013.
Publication Date (W3CDTF): 2013
Extent: xiv, 528 p.
Other physical details: ill.
Size: 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Automatic theorem proving--Congresses.
Artificial intelligence--Congresses.
NDLC: M17
Target Audience: 一般
Note (General): Papers and an abstract.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-14-770
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 024902108
http://id.ndl.go.jp/bib/024902108
OCLC No.: 861569833
https://www.worldcat.org/oclc/861569833
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215