Logic-Based Program Synthesis and Transformation | 東京科学大学図書館　蔵書検索（大岡山図書館、すずかけ台図書館）

>> Google Books

Logic-Based Program Synthesis and Transformation / David; Kanade, Takeo; Kittler, Josef Hutchison, Takeo Kanade, Josef Kittler

資料種別:

電子ブック

出版情報:

SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 2013

著者名:

ISBN:

9783642381966 [3642381960]
9783642381973 [3642381979]

書誌ID:

OB00498590

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

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

ブックレビュー

Loading review information

類似資料:

1 電子ブック Logic-Based Program Synthesis and Transformation Hutchison, David; Kanade, Takeo; Kittler, Josef Springer eBooks Computer Science, Springer Berlin Heidelberg	7 電子ブック Logic-Based Program Synthesis and Transformation Alpuente, María, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 電子ブック Logic-Based Program Synthesis and Transformation Hutchison, David, Kanade, Takeo, Kittler, Josef, Vidal, Germán SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 電子ブック Logic Based Program Synthesis and Transformation LOPSTR 2004, Etalle, Sandro, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
3 電子ブック Logic-Based Program Synthesis and Transformation Hutchison, David, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	9 電子ブック Programming Logics Hutchison, David; Kanade, Takeo; Kittler, Josef Springer eBooks Computer Science, Springer Berlin Heidelberg
4 電子ブック Logic Based Program Synthesis and Transformation Hill, Patricia M., Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg	10 電子ブック Programming Logics Hutchison, David; Kanade, Takeo; Kittler, Josef, Kittler, Josef, Weidenbach, Christoph SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 電子ブック Logic-Based Program Synthesis and Transformation Hanus, Michael, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Aliasing in Object-Oriented Programming. Types, Analysis and Verification Hutchison, David; Kanade, Takeo; Kittler, Josef Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック Logic-Based Program Synthesis and Transformation Schreye, Danny, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 電子ブック Proceedings of the 11th international conference on Functional and Logic Programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library., Kittler, Josef, Thiemann, Peter SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12