کتاب های Flemming Nielson
Principles of Program Analysis
Flemming Nielson, Hanne Riis Nielson, Chris Hankin (auth.), 1999
Formal Methods. An Appetizer
Flemming Nielson, Hanne Riis Nielson, 2019
Formal Methods. An Appetizer
Flemming Nielson, Hanne Riis Nielson, 2019
Two-Level Functional Languages
Flemming Nielson, 1992
Two-Level Functional Languages
Flemming Nielson, 1992
ML with Concurrency: Design, Analysis, Implementation, and Application
Flemming Nielson, 1997
Principles of Program Analysis
Flemming Nielson, 2005
