کتاب های Flemming Nielson (auth.)
![Principles of Program Analysis](http://cdn.ketabkoo.com/covers/1/101832-n.jpg)
Principles of Program Analysis
Flemming Nielson, Hanne Riis Nielson, Chris Hankin (auth.), 1999![Formal Methods. An Appetizer](http://cdn.ketabkoo.com/covers/12/1252180-n.jpg)
Formal Methods. An Appetizer
Flemming Nielson, Hanne Riis Nielson, 2019![Formal Methods. An Appetizer](http://cdn.ketabkoo.com/covers/12/1252289-n.jpg)
Formal Methods. An Appetizer
Flemming Nielson, Hanne Riis Nielson, 2019![STACS 86: 3rd Annual Symposium on Theoretical Aspects of Computer Science Orsay, France, January 16–18, 1986](http://cdn.ketabkoo.com/covers/4/461386-n.jpg)
STACS 86: 3rd Annual Symposium on Theoretical Aspects of Computer Science Orsay, France, January 16–18, 1986
Flemming Nielson (auth.), 1986![Two-Level Functional Languages](http://cdn.ketabkoo.com/covers/2/289864-n.jpg)
Two-Level Functional Languages
Flemming Nielson, 1992![Two-Level Functional Languages](http://cdn.ketabkoo.com/covers/2/289867-n.jpg)
Two-Level Functional Languages
Flemming Nielson, 1992![ML with Concurrency: Design, Analysis, Implementation, and Application](http://cdn.ketabkoo.com/covers/4/461377-n.jpg)
ML with Concurrency: Design, Analysis, Implementation, and Application
Flemming Nielson, 1997![Principles of Program Analysis](http://cdn.ketabkoo.com/covers/4/461378-n.jpg)