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 |