Computer aided verification : 24th international conference, CAV 2012 : Berkeley, CA, USA, July 7-13, 2012 : proceedings. (Lecture Notes in Computer Science ; 7358)

Computer aided verification : 24th international conference, CAV 2012 : Berkeley, CA, USA, July 7-13, 2012 : proceedings.

(Lecture Notes in Computer Science ; 7358)

Call No. (NDL): M17-13-561
Bibliographic ID of National Diet Library: 023985156

Material type: 図書

Author: CAV (Conference) (24th : 2012 : Berkeley, Calif.)ほか

Publisher: Springer

Publication date: c2012.

Material Format: Paper

Capacity, size, etc.: xvi, 789 p. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Abstracts and papers."The conference included two workshop days, a tutorial day, and three and a half days for the main program." -- pref.

Other physical details：: ill.

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: 9783642314247 (e-ISBN)
9783642314230
ISSN: 16113349 (e-ISSN)
ISSN (series): 03029743
Title: Computer aided verification : 24th international conference, CAV 2012 : Berkeley, CA, USA, July 7-13, 2012 : proceedings.
Series Title: Lecture Notes in Computer Science ; 7358
Title Heading: Lecture notes in computer science ; 7358. 1611-3349
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Author Heading: CAV (Conference) (24th : 2012 : Berkeley, Calif.)
Madhusudan, P.
Seshia, Sanjit A.
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2012.
Publication Date (W3CDTF): 2012
Extent: xvi, 789 p.
Other physical details: ill.
Size: 24 cm.
Additional Title: 24th international conference on computer-aided verification : Jul 2012, Berkeley, CA.
Place of Publication (Country Code): DE
US
Text Language Code: eng
Genre/Form Terms: Electronic books.
Subject Heading: Computer software--Verification--Congresses.
LCC: QA76.76.V47
DDC: 004.24
NDLC: M17
Target Audience: 一般
Note (General): Abstracts and papers.
"The conference included two workshop days, a tutorial day, and three and a half days for the main program." -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Source: SpringerLink
http://dx.doi.org/10.1007/978-3-642-31424-7
Holding library: 国立国会図書館
Call No.: M17-13-561
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 023985156
http://id.ndl.go.jp/bib/023985156
OCLC No.: 796988509
https://www.worldcat.org/oclc/796988509
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215