Computer aided verification : 26th international conference, CAV 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 18-22, 2014 : proceedings. (Lecture Notes in Computer Science ; 8559)

Computer aided verification : 26th international conference, CAV 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 18-22, 2014 : proceedings.

(Lecture Notes in Computer Science ; 8559)

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

Material type: 図書

Author: CAV (Conference) (26th : 2014 : Vienna, Austria)ほか

Publisher: Springer

Publication date: [2014]

Material Format: Paper

Capacity, size, etc.: xxxiii, 877 pages ; 24 cm.

NDC: -

View Details

Notes on use

Note (General)：: Abstracts and papers."The Vienna Summer of Logic ... consisted of twelve large conferences and 82 workshops, ..."--Foreword."... for caring about 21 C...

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: 9783319088662 (print)
3319088661 (print)
ISBN (error code): 9783319088679 (electronic bk.)
331908867X (electronic bk.)
ISSN (series): 0302-9743
Title: Computer aided verification : 26th international conference, CAV 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 18-22, 2014 : proceedings.
Series Title: Lecture Notes in Computer Science ; 8559
Title Heading: Lecture notes in computer science ; 8559.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Author Heading: CAV (Conference) (26th : 2014 : Vienna, Austria)
Biere, Armin.
Bloem, Roderick P.
Kurt Godel Society.
Publication, Distribution, etc.: Cham : Springer (出版)
Publication Date (W3CDTF): 2014
Extent: xxxiii, 877 pages
Other physical details: illustrations
Size: 24 cm.
Alternative Title: Vienna summer of logic 2014
Additional Title: federated logic conference (FLoC) : CAV workshops : Jul 2014, Vienna, Austria.
Place of Publication (Country Code): CH
Text Language Code: eng
Genre/Form Terms: Conference proceedings.
Content Type: text
Media Type: unmediated
Carrier Type: volume
Subject Heading: Computer software--Verification--Congresses.
Computer software--Verification.
NDLC: M17
Target Audience: 一般
Note (General): Abstracts and papers.
"The Vienna Summer of Logic ... consisted of twelve large conferences and 82 workshops, ..."--Foreword.
"... for caring about 21 CAV workshops, including 4 workshops affiliated with other FLoC conferences too."--Preface.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-15-1518
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 026193565
http://id.ndl.go.jp/bib/026193565
OCLC No.: 894833713
https://www.worldcat.org/oclc/894833713
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215

See Less