Aliasing in Object-Oriented Programming. Types, Analysis and Verification | 東京工業大学附属図書館蔵書検索

>> Google Books

Aliasing in Object-Oriented Programming. Types, Analysis and Verification / David; Kanade, Takeo; Kittler, Josef Hutchison

資料種別:: 電子ブック
出版情報:: Springer eBooks Computer Science
Springer Berlin Heidelberg, 2013
著者名:: Hutchison, David; Kanade, Takeo; Kittler, Josef
ISBN:: 9783642369452 [3642369456]
9783642369469 [3642369464]
書誌ID:: OB00357082

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

主題:	Information Technology - Computer Science (Hardware & Networks)
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Aliasing in Object-Oriented Programming. Types, Analysis and Verification Hutchison, David; Kanade, Takeo; Kittler, Josef, Noble, James, Wrigstad, Tobias SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 電子ブック ECOOP 2012 ? Object-Oriented Programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library. Springer eBooks Computer Science, Springer Berlin Heidelberg
2 電子ブック ECOOP 2006 – Object-Oriented Programming Thomas, Dave, Kanade, Takeo, Thomas, David, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 電子ブック Logic-Based Program Synthesis and Transformation Hutchison, David; Kanade, Takeo; Kittler, Josef, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック Proceedings of the 26th European conference on Object-Oriented Programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library., Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 電子ブック Structured Object-Oriented Formal Language and Method Hutchison, David; Kanade, Takeo; Kittler, Josef, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック ECOOP 2008 – Object-Oriented Programming Vitek, Jan, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	10 電子ブック Logic-Based Program Synthesis and Transformation Hutchison, David; Kanade, Takeo; Kittler, Josef Springer eBooks Computer Science, Springer Berlin Heidelberg
5 電子ブック ECOOP 2009 – Object-Oriented Programming Drossopoulou, Sophia, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Automated Technology for Verification and Analysis Hutchison, David; Kanade, Takeo; Kittler, Josef Springer eBooks Computer Science, Springer International Publishing
6 電子ブック ECOOP 2005 - Object-Oriented Programming ECOOP 2005, Black, Andrew P., Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg	12 電子ブック Data Traffic Monitoring and Analysis Hutchison, David; Kanade, Takeo; Kittler, Josef Springer eBooks Computer Science, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12