Sere, K. (Kaisa), 1954-
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | Refinement case studies with B, c1998: CIP t.p. (K. Sere) data sheet (Sere Kaisa; b. 06-03-54) SRC:Program development by refinement : case studies using the B method / E. Sekerinski and K. Sere (eds.)(Springer-Verlag, c1999) |
Dates of Birth and Death | 1954- |
から見よ参照 | Sere, Kaisa, 1954- |
コード類 | 典拠ID=AU20017688 NCID=DA11776210 |