MPG.eBooks - Author Search Results

Cover Image

1

Formal Methods : An Appetizer

by Nielson, Flemming, Riis Nielson, Hanne
Published 2019

Springer International Publishing

Cover Image

2

Semantics with Applications: An Appetizer

by Riis Nielson, Hanne, Nielson, Flemming
Published 2007

Springer London

Cover Image

3

Principles of Program Analysis

by Nielson, Flemming, Nielson, Hanne R., Hankin, Chris
Published 1999

Springer Berlin Heidelberg

Cover Image

4

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

Published 1997

Springer New York

Other Authors: “...Nielson, Flemming...”

Cover Image

5

Principles of Security and Trust : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, C...

Published 2019

Springer International Publishing

Other Authors: “...Nielson, Flemming...”

Cover Image

6

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

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Nielson, Flemming...”