Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015 : Mumbai, India, January 12-14, 2015 : proceedings. (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.

(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

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

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.
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.
Additional Title: Jan 2015, Mumbai, India.
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