Computer aided verification : 21st international conference, CAV 2009 : Grenoble, France, June 26-July 2, 2009 : proceedings. : 21st international conference on computer-aided verification : Jun 2009, Grenoble, France. (Lecture Notes in Computer Science ; 5643)

Computer aided verification : 21st international conference, CAV 2009 : Grenoble, France, June 26-July 2, 2009 : proceedings. : 21st international conference on computer-aided verification : Jun 2009, Grenoble, France.

(Lecture Notes in Computer Science ; 5643)

Call No. (NDL): M17-10-1485
Bibliographic ID of National Diet Library: 000010619438

Material type: 図書

Author: -

Publisher: Springer

Publication date: c2009.

Material Format: Paper

Capacity, size, etc.: xv, 722 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers and abstracts.Described as " (...) (CAV) held in Grenoble, France, between June 28 and July 2, 2009." -- pref."In addition to the presentation ...

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: 9783642026577 (ISBN-13 : pbk.)
3642026575 (pbk.)
ISSN (series): 0302-9743
Title: Computer aided verification : 21st international conference, CAV 2009 : Grenoble, France, June 26-July 2, 2009 : proceedings. : 21st international conference on computer-aided verification : Jun 2009, Grenoble, France.
Series Title: Lecture Notes in Computer Science ; 5643
Publication, Distribution, etc.: Berlin : Springer
Publication Date: c2009.
Publication Date (W3CDTF): 2009
Extent: xv, 722 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Computer software -- Verification -- Congresses.
Integrated circuits -- Verification -- Congresses.
Verifikation -- Kongress -- Grenoble <2009>
LCC: QA76.76.V47
NDLC: M17
Note (General): Papers and abstracts.
Described as " (...) (CAV) held in Grenoble, France, between June 28 and July 2, 2009." -- pref.
"In addition to the presentation of these papers, the program included the following: -- Four invited tutorials: (...) " -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-10-1485
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000010619438
http://id.ndl.go.jp/bib/000010619438
OCLC No.: 419645597
https://www.worldcat.org/oclc/419645597
Bibliographic Record Category (NDL): 215