Blank Cover Image

PLPV'10 : proceedings of the 2010 Workshop on Programming Languages meets Program Verification, Jamuary 19, 2010, Madrid, Spain

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

類似資料:

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

Association for Computing Machinery
7 国際会議録 PLAS 2006 : proceedings of the 2006 Programming Languages and Analysis for Security Workshop : June 10, 2006, Ottawa, Ontario, Canada

Association for Computing Machinery
2 国際会議録 DAMP'10 : proceedings of the 2010 ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, January 19, 2010, Madrid, Spain

Association for Computing Machinery
8 国際会議録 Proceedings of the First ISO Workshop on Analytical Spectroscopy : Madrid, Spain, 6-8 October 1997

ESA Publications Division
3 国際会議録 PEPM '10 : proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation : January 18-19,2010, Madrid, Spain

Association for Computing Machinery
9 国際会議録 Proceedings of the III European Workshop on Exo-Astrobiology : Mars, the search for life : 18-20 November 2003, Madrid, Spain

ESA Publications Division
4 国際会議録 3rd ACM SIGPLAN Workshop on Programming Languages meets Program Verification 2009 : PLPV 09 : Savannah, Georgia, USA 20 January 2009

Association for Computing Machinery
10 国際会議録 Proceedings of Hyperspectral Workshop 2010 : 17-19 March 2010, Frascati, Italy

ESA Communications
5 国際会議録 POPL'10 : proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 17-23, 2010, Madrid, Spain

ACM Press
11 国際会議録 1st Workshop on Critical Automotive Applications : Robustness and Safety 2010 : (CARS 10) : held at EDCC 2010 : Valencia, Spain, 27 April 2010

ACM Press
6 国際会議録 PLDI'10 : proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, June 5-10, 2010, Toronto, Ontario, Canada

Association for Computing Machinery
12 国際会議録 6th Workshop on Geographic Information Retrieval 2010 (GIR 10) : Zurich, Switzerland 18-19 February 2010

Association for Computing Machinery
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12