3rd ACM SIGPLAN Workshop on Programming Languages meets Program Verification 2009 : PLPV 09 : Savannah, Georgia, USA 20 January 2009 | 東京工業大学附属図書館蔵書検索

Blank Cover Image

所蔵情報QRコード

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

資料種別:

図書

出版情報:

New York : Association for Computing Machinery, c2009

形態:

vi, 81 p. ; 28 cm

著者名:

ISBN:

9781615679560 [1615679561]

書誌ID:

BB01861052

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

その他の標題:	PLPV 2009
注記:	Includes bibliographical references and index
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 4th ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming 2009 : DAMP 09 : Savannah, Georgia, USA 20 January 2009 ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, ACM Special Interest Group in Programming … Association for Computing Machinery	7 図書 3rd ACM Conference on Recommender Systems 2009 (RecSys '09) : New York, New York, USA 22-25 October 2009 ACM Conference on Recommender Systems, ACM Special Interest Group on the Social and Behavioral Science of Computing, … Association for Computing Machinery
2 図書 PLPV'10 : proceedings of the 2010 Workshop on Programming Languages meets Program Verification, Jamuary 19, 2010, Madrid, Spain Workshop on Programming Languages meets Program Verification, ACM Special Interest Group in Programming Languages Association for Computing Machinery	8 図書 Proceedings of the 3rd 2005 ACM SIGPLAN Workshop on Memory Systems Performance (MSP'05), Chicago, IL, USA, June 12, 2005 Workshop on Memory System Performance, ACM Special Interest Group in Programming Languages Association for Computing Machinery
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 図書 Conference record of POPL '96 : the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, St. Petersburg … ACM Symposium on Principles of Programming Languages, ACM Special Interest Group in Algorithms and Computation, ACM … Association for Computing Machinery
4 図書 4th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security 2009 (PLAS 09) : Dublin, Ireland, 15 June 2009 Programming Languages and Analysis for Security Workshop, ACM Special Interest Group in Programming Languages Association for Computing Machinery	10 図書 ML'09 : proceedings of the 2009 ACM SIGPLAN Workshop on ML, August 30, 2009, Edinburgh, Scotland ACM SIGPLAN Workshop on ML, ACM Special Interest Group in Programming Languages, ACM SIGPLAN International Conference … Association for Computing Machinery
5 図書 WGP '09 : proceedings of the 2009 ACM SIGPLAN Workshop on Generic Programming ACM SIGPLAN Workshop on Generic Programming, ACM SIGPLAN International Conference on Functional Programming, ACM Special … Association for Computing Machinery	11 図書 Conference record of POPL '99 : the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, San Antonio, … (ACM) ACM Symposium on Principles of Programming Languages, ACM Special Interest Group on Algorithms and Computation Theory, … Association for Computing Machinery
6 図書 Conference record of POPL 2006 : the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, January … ACM Symposium on Principles of Programming Languages, ACM Special Interest Group in Programming Languages, ACM Special … Association for Computing Machinery	12 電子ブック 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

1

2

3

4

5

6

7

8

9

10

11

12