You are here: Home › Author › Flemming Nielson
Flemming Nielson

Flemming Nielson

15 books

Principles of Program Analysis

Principles of Program Analysis

by Flemming Nielson

3.63 of 35

Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

by Hanne Riis Nielson

3.57 of 28

A Concise Introduction to Languages and Machines

A Concise Introduction to Languages and Machines

by Alan P. Parkes

2.83 of 6

Semantics With Applications: A Formal Introduction

Semantics With Applications: A Formal Introduction

by Hanne Riis Nielson

3.50 of 2

Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 34)

Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 34)

by Flemming Nielson

4.00 of 1

ML with Concurrency: Design, Analysis, Implementation, and Application (Monographs in Computer Science)

ML with Concurrency: Design, Analysis, Implementation, and Application (Monographs in Computer Science)

by Flemming Nielson

4.00 of 1

Formal Methods: An Appetizer

Formal Methods: An Appetizer

by Flemming Nielson

4.00 of 1

TYPE AND EFFECT SYSTEMS: BEHAVIOURS FOR CONCURRENCY

TYPE AND EFFECT SYSTEMS: BEHAVIOURS FOR CONCURRENCY

by Torben Amtoft

4.00 of 1

Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ... Notes in Computer Science Book 11426)

Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ... Notes in Computer Science Book 11426)

by Flemming Nielson

0.0 of 0

Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of ... Czech Republic, April 6-11, 2019, Proceedings

Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of ... Czech Republic, April 6-11, 2019, Proceedings

by Flemming Nielson

0.0 of 0

Principles of Program Analysis by Nielson, Flemming, Nielson, Hanne R., Hankin, Chris (2004) Hardcover

Principles of Program Analysis by Nielson, Flemming, Nielson, Hanne R., Hankin, Chris (2004) Hardcover

by Flemming Nielson

0.0 of 0

Two-level semantics and code generation

Two-level semantics and code generation

by Flemming Nielson

0.0 of 0

A denotational framework for data flow analysis

A denotational framework for data flow analysis

by Flemming Nielson

0.0 of 0

Trustworthy Global Computing

Trustworthy Global Computing

by Christos Kaklamanis

0.0 of 0

Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers (Lecture Notes in Computer Science, 5474)

Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers (Lecture Notes in Computer Science, 5474)

by Christos Kaklamanis

0.0 of 0