図書

3rd ACM SIGPLAN workshop on programming languages meets program verification 2009 : (PLPV 09) : Savannah, Georgia, USA : 20 January 2009. : programming languages meet program verification 2009 : Jan 2009, Savannah, GA.

Icons representing 図書

3rd ACM SIGPLAN workshop on programming languages meets program verification 2009 : (PLPV 09) : Savannah, Georgia, USA : 20 January 2009. : programming languages meet program verification 2009 : Jan 2009, Savannah, GA.

Call No. (NDL)
M17-10-2738
Bibliographic ID of National Diet Library
000010893528
Material type
図書
Author
Altenkirch, Thorsten, 1962-ほか
Publisher
Association for Computing Machinery
Publication date
c2009.
Material Format
Paper
Capacity, size, etc.
vi, 81 p. : ill. ; 28 cm.
NDC
-
View All

Notes on use

Note (General)：

An abstract and papers.

Search by Bookstore

Search by Bookstore

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
9781615679560
Title
3rd ACM SIGPLAN workshop on programming languages meets program verification 2009 : (PLPV 09) : Savannah, Georgia, USA : 20 January 2009. : programming languages meet program verification 2009 : Jan 2009, Savannah, GA.
Author Heading
Altenkirch, Thorsten, 1962-
Millstein, Todd.
PLPV '09 (2009 : Savannah, Ga.)
ACM Symposium on Principles of Programming Languages (36th : 2009 : Savannah, Ga.)
Publication, Distribution, etc.
New York : Association for Computing Machinery
Publication Date
c2009.
Publication Date (W3CDTF)
2009
Extent
vi, 81 p. : ill. ; 28 cm.
Place of Publication (Country Code)
US
Text Language Code
eng