Díaz, Josep, 1950-
著者名典拠詳細を表示
| 著者の属性 | 個人 |
|---|---|
| 一般注記 | Formalization of programming concepts, 1981 (a.e.) t.p. (J. Diaz) verso of t.p. (Josep Diaz, Fac. d'Inform., Univ. Polit. de Barcelona, Barcelona, Spain) CIP data sheet (Josep Diaz Cort, b. 3/15/50) |
| Dates of Birth and Death | 1950 |
| から見よ参照 | Díaz, J., 1950- Díaz, J. (Josep), 1950- Díaz Cort, Josep, 1950- Cort, Josep Díaz, 1950- ディアス, J. |
| コード類 | 典拠ID=AU00070867 NCID=DA01790204 |
| 1 | 構造的計算量理論 / J.L. バルカサール, J. ディアス, J. ガバロ著 ; 足立暁生訳 東京 : シュプリンガー・フェアラーク東京 , 1989.11 |