Blank Cover Image
所蔵情報QRコード

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

資料種別:
図書
出版情報:
New York : Association for Computing Machinery, c2010
形態:
vi, 63 p. ; 28 cm
著者名:
ISBN:
9781605588902 [1605588903]
書誌ID:
BB01431982
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 DAMP'10 : proceedings of the 2010 ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, January 19, 2010, Madrid, Spain

ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, ACM Special Interest Group in Programming …

Association for Computing Machinery
7 電子ブック Proceedings of the Programming Languages Mentoring Workshop

Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Programming Languages.; ACM Special …

ACM Digital Library Proceedings, ACM
2 図書 3rd ACM SIGPLAN Workshop on Programming Languages meets Program Verification 2009 : PLPV 09 : Savannah, Georgia, USA 20 January 2009

Workshop on Programming Languages meets Program Verification, ACM Special Interest Group in Programming Languages

Association for Computing Machinery
8 図書 Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), Montreal, Canada, 17-19 June, 1998

SIGPLAN Conference on Programming Language Design and Implementation, ACM Special Interest Group in Programming …

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

Workshop on Programming Languages meets Program Verification, ACM SIGPLAN International Conference on Functional …

Association for Computing Machinery
9 図書 Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI'02), Berlin, Germany, June 17-19, 2002

SIGPLAN Conference on Programming Language Design and Implementation, ACM Special Interest Group in Programming …

Association for Computing Machinery
4 電子ブック Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification

Danielsson, Nils Anders, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM
10 電子ブック Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification

Filliâtre, Jean-Christophe, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM
5 電子ブック Proceedings of the 5th ACM workshop on Programming languages meets program verification

Jhala, Ranjit, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM
11 電子ブック Proceedings of the 1st Workshop on Programming Language Evolution

Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering.; ACM Special …

ACM Digital Library Proceedings, ACM
6 電子ブック Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming

Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Programming Languages., Association …

ACM Digital Library Proceedings, ACM
12 電子ブック Proceedings of the 7th workshop on Programming languages meets program verification

Giacobazzi, Roberto, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12