Jump to main content
図書

PLPV'10 : proceedings of the 2010 ACM SIGPLAN workshop on programming languages meets program verification : January 19, 2010 : Madrid, Spain. : programming languages meet program verification workshop 2010 : PLPV 10 : Jan 2010, Madrid, Spain.

Icons representing 図書

PLPV'10 : proceedings of the 2010 ACM SIGPLAN workshop on programming languages meets program verification : January 19, 2010 : Madrid, Spain. : programming languages meet program verification workshop 2010 : PLPV 10 : Jan 2010, Madrid, Spain.

Call No. (NDL)
M17-10-2488
Bibliographic ID of National Diet Library
000010873717
Material type
図書
Author
PLPV '10 (2010 : Madrid, Spain)ほか
Publisher
Association for Computing Machinery
Publication date
c2010.
Material Format
Paper
Capacity, size, etc.
vi, 63 p. : ill. ; 28 cm.
NDC
-
View All

Notes on use

Note (General):

Papers."This is the 4th workshop in the PLPV series: (...) " -- foreword.

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
9781605588902
Publication, Distribution, etc.
Publication Date
c2010.
Publication Date (W3CDTF)
2010
Extent
vi, 63 p. : ill. ; 28 cm.
Place of Publication (Country Code)
US
Text Language Code
eng