Flemming Nielson

Danish professor

Born

1955

11 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Preview

Preview Book
×Close

Principles of program analysis

by Flemming Nielson, Hanne Riis Nielson, and Chris Hankin First published in 1999 — 4 editions

Preview Only

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science)

by Flemming Nielson and Hanne Riis Nielson First published in 2005 — 3 editions

Locate

My Reading Lists:

Create a new list
ML with Concurrency: Design, Analysis, Implementation, and Application

by Flemming Nielson First published in 2011 — 3 editions

Locate

My Reading Lists:

Create a new list
Principles of Security and Trust

by Flemming Nielson and David Sands First published in 2019 — 3 editions

Locate

My Reading Lists:

Create a new list
Preview

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

by Flemming Nielson First published in 1996 — 2 editions

Preview Only

My Reading Lists:

Create a new list
Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

by Christos Kaklamanis and Flemming Nielson First published in 2009 — 2 editions

Locate

My Reading Lists:

Create a new list
Type and Effect Systems: Behaviours for Concurrency

by Torben Amtoft, Flemming Nielson, and Hanne Riis Nielson First published in 1999 — 2 editions

Locate

My Reading Lists:

Create a new list
Preview

Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)

by Hanne Riis Nielson and Flemming Nielson First published in 2007 — 2 editions

Locate

My Reading Lists:

Create a new list
Theoretical aspects of semantics-based language implementation: Teoretiske aspekter af semantik-baseret sprog-implementation

by Flemming Nielson First published in 1990 — 1 edition

Locate

My Reading Lists:

Create a new list
Two-level functional languages

by Flemming Nielson First published in 1992 — 1 edition

Locate

My Reading Lists:

Create a new list
Formal Methods: An Appetizer

by Flemming Nielson and Hanne Riis Nielson First published in 2019 — 1 edition

Locate

My Reading Lists:

Create a new list

Danish professor

Born

1955

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL730615A
ISNI: 0000000109010764
Library of Congress Names: n91104344
Wikidata: Q25927688
Inventaire.io: wd:Q25927688

Links outside Open Library

No links yet. Add one?

Download catalog record: RDF / JSON

Flemming Nielson

11 works Add another?

Preview Book

Create a new list

Subjects

Add to List

ID Numbers

Links outside Open Library