Author

Flemming Nielson

9 books found

Cover of Formal Methods

Formal Methods

Flemming Nielson, Hanne Riis Nielson · First published 2019

Cover of Principles of Security and Trust

Principles of Security and Trust

Flemming Nielson, David Sands · First published 2019

Cover of ML with Concurrency

ML with Concurrency

Flemming Nielson · First published 1996 · Latest edition 2011

Cover of Trustworthy Global Computing

Trustworthy Global Computing

Christos Kaklamanis, Flemming Nielson · First published 2009

Cover of Semantics with applications

Semantics with applications

Hanne Riis Nielson, Flemming Nielson · First published 2007

Cover of Two-level functional languages

Two-level functional languages

Flemming Nielson, Hanne Riis Nielson · First published 1992 · Latest edition 2005

Cover of Principles of program analysis

Principles of program analysis

Flemming Nielson, Hanne Riis Nielson, Chris Hankin · First published 1999

Cover of Type and effect systems

Type and effect systems

Torben Amtoft, Flemming Nielson, Hanne Riis Nielson · First published 1999

Placeholder cover for Theoretical aspects of semantics-based language implementation

Theoretical aspects of semantics-based language implementation

Flemming Nielson · First published 1990