11th International Workshop on Formal Techniques for Java-like Programs 2009 (FTfJP 09) : held at ECOOP 2009 : Genova, Italy, 6 July 2009 | 東京工業大学附属図書館蔵書検索

Blank Cover Image

所蔵情報QRコード

11th International Workshop on Formal Techniques for Java-like Programs 2009 (FTfJP 09) : held at ECOOP 2009 : Genova, Italy, 6 July 2009 / International Workshop on Formal Techniques for Java-like Programs ; European Conference on Object-Oriented Programming

資料種別:

図書

出版情報:

New York : Association for Computing Machinery, c2009

形態:

62 p. ; 28 cm

著者名:

ISBN:

9781617382338 [1617382337]

書誌ID:

BB02369104

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

その他の標題:	FTfJP '09
注記:	Includes bibliographical references
主題:	Computer software--Development--Congresses; Formal methods (Computer science)--Congresses; Java (Computer program language)--Congresses; Programming languages (Electronic computers)--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 International Workshop on Context-Oriented Programming 2009 (COP 09) : held at ECOOP 2009 : Genova, Italy, 6 July 2009 International Workshop on Context-Oriented Programming, European Conference on Object-Oriented Programming Association for Computing Machinery	7 図書 1st Workshop on Script to Program Evolution 2009 (STOP 09) : held at ECOOP 2009 : Genova, Italy, 6 July 2009 Workshop on Script to Program Evolution, European Conference on Object-Oriented Programming Association for Computing Machinery
2 図書 8th Workshop on Parallel/High-Performance Object-Oriented Scientific Computing 2009 (POOSC 09) : held at ECOOP 2009 : Genova, Italy, 6 July 2009 Workshop on Parallel/High-Performance Object-Oriented Scientific Computing, European Conference on Object-Oriented … Association for Computing Machinery	8 図書 6th ECOOP Workshop on Reflection, AOP and Meta-Data for Software Evolution 2009 (RAM-SE 09) : held at ECOOP 2009 : Genova, Italy, 6 July 2009 ECOOP Workshop on Reflection, AOP and Meta-Data for Software Evolution, European Conference on Object-Oriented … Association for Computing Machinery
3 図書 4th Workshop on Implementation, Compilation, Optimization of Object - Oriented Languages and Programming Systems 2009 (ICOOOLPS 2009) : held at ECOOP 2009 : … Workshop on Implementation, Compilation, Optimization of Object - Oriented Languages and Programming System, European … Association for Computing Machinery	9 図書 FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings International Symposium of Formal Methods Europe, 荒木, 啓二郎, Gnesi, Stefania, 1954-, Mandrioli, Dino Springer
4 図書 6th European Lisp Workshop 2009 (ELW 09) : held at ECOOP 2009 : Genova, Italy, 6 July 2009 European Lisp Workshop, European Conference on Object-Oriented Programming Association for Computing Machinery	10 図書 Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as part of the Joint European Conferences on … TACAS, Margaria, Tiziana, Yi, Wang, European Conferences on Theory and Practice of Software Springer
5 図書 Workshop on Relationships and Associations in Object-Oriented Languages 2009 (RAOOL 09) : held at ECOOP 2009 : Genova, Italy, 6 July 2009 International Workshop on Context-Oriented Programming, European Conference on Object-Oriented Programming Association for Computing Machinery	11 図書 FM 2006 : Formal Methods : 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 : proceedings FM, Misra, Jayadev, Nipkow, Tobias, 1958-, Sekerinski, E. (Emil), 1963- Springer
6 図書 1st International Workshop on Dissributed Objects for the 21st Century 2009 (DO21 09) : held at ECOOP 2009 : Genova, Italy, 6 July 2009 International Workshop on Dissributed Objects for the 21st Century, European Conference on Object-Oriented Programming Association for Computing Machinery	12 電子ブック 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

1

2

3

4

5

6

7

8

9

10

11

12