Shepherdson, J. C.
著者名典拠詳細を表示
| 著者の属性 | 個人 |
|---|---|
| 一般注記 | Mathematical logic and programming languages, c1985: t.p. (J.C. Shepherdson) LC data base, 10-11-85 (hdg.: Shepherdson, J. C.) |
| コード類 | 典拠ID=AU00003266 NCID=DA0024855X |
| 1 | Mathematical logic and programming languages / edited by C.A.R. Hoare and J.C. Shepherdson Englewood Cliffs, N.J. : Prentice Hall International , c1985 |