| NCID | DA0100861X |
| 名称(HDNG) | Jantke, Klaus P. |
| から見よ(SF) | Jantke, K. P. |
| 注記(NOTE) | Mathematical methods of specification and synthesis of software systems '85, 1986: t.p. (K. P. Jantke) p. 5 (Klaus P. Jantke, GDR) p. 101 (Humboldt University Berlin, Computing Center) verso of t.p. (Humboldt-Universitat zu Berlin, Sektion Mathematik) |
| LCAID | 85381855 |