Hanne Riis Nielson | Bookhype

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)

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

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