Mendeley出力
＜図書＞
The UT Year of Programming series
| データ種別 | 図書 |
|---|---|
| 出版情報 | Reading, Mass : Addison-Wesley |
子書誌情報
| 1 | Formal development of programs and proofs / edited by Edsger W. Dijkstra Reading, Mass. : Addison-Wesley , c1990 |
| 2 | Developements in concurrency and communication / edited by C.A.R. Hoare Reading, Mass. : Addison-Wesley Pub. Co. , 1990 |
| 3 | Logical foundations of functional programming / edited by Gérard Huet Reading, Mass. : Addison-Wesley , c1990 |
| 4 | Research topics in functional programming / edited by David A. Turner Reading, Mass. : Addison-Wesley Pub. Co. , c1990 |
書誌詳細
| 別書名 | 異なりアクセスタイトル:The University of Texas at Austin Year of Programming series 異なりアクセスタイトル:University of Texas at Austin Year of Programming series |
|---|---|
| 書誌ID | 1000041796 |
| NCID | BA07261389 |
| 登録日 | 2009.09.10 |
| 更新日 | 2009.09.17 |