Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008 : San Francisco, USA, January 7-9, 2008 : proceedings. : 9th VMCAI meeting : Jan 2008, San Francisco, CA. (Lecture Notes in Computer Science ; 4905)

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008 : San Francisco, USA, January 7-9, 2008 : proceedings. : 9th VMCAI meeting : Jan 2008, San Francisco, CA.

(Lecture Notes in Computer Science ; 4905)

Call No. (NDL): M17-08-1774
Bibliographic ID of National Diet Library: 000009423464

Material type: 図書

Author: Logozzo, Francesco.ほか

Publisher: Springer

Publication date: c2008.

Material Format: Paper

Capacity, size, etc.: x, 323 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers and an abstract.

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: 9783540781622 (ISBN-13 : softcover : alk. paper)
3540781625 (softcover : alk. paper)
ISSN (series): 0302-9743
Title: Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008 : San Francisco, USA, January 7-9, 2008 : proceedings. : 9th VMCAI meeting : Jan 2008, San Francisco, CA.
Series Title: Lecture Notes in Computer Science ; 4905
Author Heading: Logozzo, Francesco.
Peled, Doron, 1962-
Zuck, Lenore D., 1958-
VMCAI 2008 (2008 : San Francisco, Calif.)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2008.
Publication Date (W3CDTF): 2008
Extent: x, 323 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Computer programs -- Verification -- Congresses.
LCC: QA76.76.V47
NDLC: M17
Note (General): Papers and an abstract.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-08-1774
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000009423464
http://id.ndl.go.jp/bib/000009423464
LC Control Number: 2008921735
https://lccn.loc.gov/2008921735
OCLC No.: 192082599
https://www.worldcat.org/oclc/192082599
Bibliographic Record Category (NDL): 215