Flemming Nielson | Bookhype

Oct 8, 2020

Cover of Principles of Security and Trust

Principles of Security and Trust

Jul 25, 2019

Cover of Formal Methods

Apr 27, 2007

Cover of Semantics with Applications: An Appetizer

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

Oct 22, 1999

Cover of Principles of Program Analysis

Principles of Program Analysis

Mar 15, 1999

Cover of Type And Effect Systems: Behaviours For Concurrency

Type And Effect Systems: Behaviours For Concurrency

Jan 1, 1999

Cover of Type and Effect Systems

Type and Effect Systems

Dec 20, 1996

Cover of ML with Concurrency

ML with Concurrency

Jul 16, 1992

Cover of Two-Level Functional Languages

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

Dec 6, 1991

Cover of Semantics with Applications

Semantics with Applications