著者典拠情報

著者標目形：
Nielson, Hanne Riis, 1954-
属性：
Personal
日付：
1954-
から見よ参照形：
Riis Nielson, Hanne, 1954-
注記：
Her Semantics with applications, c1992: CIP t.p. (Hanne Riis Nielson, Aarhus Univ., Denmark)
Denmark. Hof- og statskal., 1988: p. 929 (Aalborg univ. center, Inst. f. elektroniske systemer: Nielson, Hanne Riis; lektor, cand. scient.; b. 1954)
著者典拠ID：
DA06838206


1.

図書
図書
1. Principles of program analysis
Flemming Nielson , Hanne Riis Nielson , Chris Hankin
出版情報: Berlin ; Tokyo : Springer-Verlag, c1999
所蔵情報: 図書館
2.

図書
図書
2. Programming languages and systems -- ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings
Hanne Riis Nielson, (ed.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1996
シリーズ名: Lecture notes in computer science ; 1058
所蔵情報: 図書館
3.

図書
図書
3. Two-level functional languages
Flemming Nielson and Hanne Riis Nielson
出版情報: Cambridge : Cambridge University Press, 1992
シリーズ名: Cambridge tracts in theoretical computer science ; 34
所蔵情報: 図書館