Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs | 東京工業大学附属図書館蔵書検索

Blank Cover Image

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs / Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering.; ACM Special Interest Group on Programming Languages., Association for Computing Machinery-Digital Library.

資料種別:

電子ブック

出版情報:

ACM Digital Library Proceedings
ACM, 2010

著者名:

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

ISBN:

9781450305402 [1450305407]

書誌ID:

OB00397674

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

その他の標題:	FTFJP '10
主題:	Information Technology - Computer Science (Hardware & Networks)
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Programming Languages., Association … ACM Digital Library Proceedings, ACM	7 電子ブック Proceedings of the 6th Workshop on Programming Languages and Operating Systems Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Operating Systems., Association for … ACM Digital Library Proceedings, ACM
2 電子ブック Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs Banerjee, Anindya, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM	8 電子ブック Proceedings of the 2009 ICSE Workshop on Software Engineering Foundations for End User Programming Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association … ACM Digital Library Proceedings, IEEE
3 電子ブック Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs Freund, Stephen, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM	9 電子ブック Proceedings of the 2009 ICSE Workshop on Software Engineering Foundations for End User Programming Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association … IEEE Electronic Library (IEL) Conference Proceedings, IEEE
4 電子ブック Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs Chin, Wei-Ngan, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM	10 電子ブック Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs Dietl, Werner, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM
5 電子ブック Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM	11 電子ブック Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association … ACM Digital Library Proceedings, IEEE
6 電子ブック Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Programming Languages., Association … ACM Digital Library Proceedings, ACM	12 電子ブック Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association … IEEE Electronic Library (IEL) Conference Proceedings, IEEE

1

2

3

4

5

6

7

8

9

10

11

12