Flemming Nielson

6 books

Principles of Program Analysis by Chris Hankin, Flemming Nielson, Hanne Riis Nielson

Principles of Program Analysis

Chris Hankin, Flemming Nielson, Hanne Riis Nielson

452 pages • first pub 1999 (editions)

nonfiction computer science informative slow-paced
Formal Methods: An Appetizer by Flemming Nielson, Hanne Riis Nielson
Formal Methods: An Appetizer
—
Flemming Nielson, Hanne Riis Nielson

Formal Methods: An Appetizer

Flemming Nielson, Hanne Riis Nielson

160 pages • missing pub info (editions)

nonfiction computer science science
Principles of Security and Trust by Flemming Nielson, David Sands

Principles of Security and Trust

Flemming Nielson, David Sands

256 pages • missing pub info (editions)

nonfiction computer science science medium-paced
Semantics With Applications: A Formal Introduction by Hanne Riis Nielson
Semantics With Applications: A Formal Introduction
—
Hanne Riis Nielson

Semantics With Applications: A Formal Introduction

Hanne Riis Nielson

240 pages • first pub 1992 (editions)

Semantics With Applications: An Appetizer (Undergraduate Topics In Computer Science) by Flemming Nielson, Hanne Riis Nielson

Semantics With Applications: An Appetizer (Undergraduate Topics In Computer Science)

Flemming Nielson, Hanne Riis Nielson

missing page info • first pub 2007 (editions)

informative reflective medium-paced
Two-Level Functional Languages by Flemming Nielson, Hanne Riis Nielson

Two-Level Functional Languages

Flemming Nielson, Hanne Riis Nielson

312 pages • missing pub info (editions)

nonfiction computer science
More...