Blank Cover Image

PLPV'07 : proceedings of the 2007 Workshop on Programming Languages meets Program Verification, Freiburg, Germany, October 5, 2007 : co-located with, ICFP'07

責任表示:
sponsored by ACM SIGPLAN
シリーズ名:
ACM Conference Proceedings
シリーズ巻号:
PLPV 2007
出版情報:
New York: Association for Computing Machinery, 2007
ISBN:
9781595936776 [1595936777]
請求記号:
A04525/200707
資料種別:
国際会議録
巻号一覧
Loading volume number list

類似資料:

Association for Computing Machinery

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12