著者典拠情報

著者標目形：
Nielson, Flemming, 1955-
属性：
Personal
日付：
1955-
注記：
Nielson, H.R. Semantics with applications, c1992: CIP t.p. (Flemming Nielson, Aarhus Univ., Denmark)
Denmark. Hof- og statskal., 1988: p. 929 (Aalborg univ. center, Inst. f. elektroniske systemer: Nielson, Flemming; lektor, cand. scient.; b. 1955)
著者典拠ID：
DA06838192


1.

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

図書
図書
2. ML with concurrency : design, analysis, implementation, and application
Flemming Nielson, editor
出版情報: New York : Springer, c1997
シリーズ名: Monographs in computer science
所蔵情報: 研究室
3.

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