Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015 : Mumbai, India, January 12-14, 2015 : proceedings : Jan 2015, Mumbai, India. (Lecture Notes in Computer Science ; 8931. Advanced Research in Computing and Software Science)

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015 : Mumbai, India, January 12-14, 2015 : proceedings : Jan 2015, Mumbai, India.

(Lecture Notes in Computer Science ; 8931. Advanced Research in Computing and Software Science)

Call No. (NDL): M17-15-1660
Bibliographic ID of National Diet Library: 026072826

Material type: 図書

Author: VMCAI (Conference) (16th : 2015 : Mumbai, India)ほか

Publisher: Springer

Publication date: [2015]

Material Format: Paper

Capacity, size, etc.: xviii, 466 pages ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers and abstracts.

Other physical details：: illustrations

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: 9783662460801
3662460807
ISBN (error code): 9783662460818 electronic bk.
3662460815 electronic bk.
ISSN (series): 0302-9743
Title: Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015 : Mumbai, India, January 12-14, 2015 : proceedings : Jan 2015, Mumbai, India.
Series Title: Lecture Notes in Computer Science ; 8931. Advanced Research in Computing and Software Science
Title Heading: Lecture notes in computer science ; 8931.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Author Heading: VMCAI (Conference) (16th : 2015 : Mumbai, India)
D'Souza, Deepak.
Lal, Akash.
Larsen, Kim Guldstrand.
Publication, Distribution, etc.: Heidelberg : Springer (出版)
Publication Date (W3CDTF): 2015
Extent: xviii, 466 pages
Other physical details: illustrations
Size: 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Content Type: text
Media Type: unmediated
Carrier Type: volume
Subject Heading: Computer software--Verification--Congresses.
Software engineering--Congresses.
NDLC: M17
Target Audience: 一般
Note (General): Papers and abstracts.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-15-1660
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 026072826
http://id.ndl.go.jp/bib/026072826
OCLC No.: 907346912
https://www.worldcat.org/oclc/907346912
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215