作者 Flemming Nielson 的书籍 - BookPine

Two-Level Functional Languages

Two-Level Functional Languages

Flemming Nielson

Formal Methods: An Appetizer

Formal Methods: An Appetizer

Flemming Nielson

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

Flemming Nielson

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)

Flemming Nielson

ML with Concurrency: Design, Analysis, Implementation, and Application

ML with Concurrency: Design, Analysis, Implementation, and Application

Flemming Nielson

Principles of Program Analysis

Principles of Program Analysis

Flemming Nielson

Trustworthy Global Computing

Trustworthy Global Computing

Christos Kaklamanis

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

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

Christos Kaklamanis

A Concise Introduction to Languages and Machines

A Concise Introduction to Languages and Machines

Alan P. Parkes

Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

Hanne Riis Nielson

TYPE AND EFFECT SYSTEMS: BEHAVIOURS FOR CONCURRENCY

TYPE AND EFFECT SYSTEMS: BEHAVIOURS FOR CONCURRENCY

Torben Amtoft

Semantics With Applications: A Formal Introduction

Semantics With Applications: A Formal Introduction

Hanne Riis Nielson

Principles of Program Analysis

Principles of Program Analysis

Flemming Nielson

Principles of Program Analysis

Principles of Program Analysis

Flemming Nielson

ML with Concurrency

ML with Concurrency

Flemming Nielson

Principles of Program Analysis

Principles of Program Analysis

Flemming Nielson