Books by Flemming Nielson

Flemming Nielson
Average rating 3.57 · 74 ratings · 3 reviews · shelved 394 times

Showing 18 distinct works.

	Principles of Program Analysis by Flemming Nielson, Hanne R. Nielson, Chris Hankin 3.63 avg rating — 35 ratings — published 1999 — 9 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Semantics with Applications: An Appetizer by Hanne Riis Nielson, Flemming Nielson (Contributor) 3.57 avg rating — 28 ratings — published 2007 — 6 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	A Concise Introduction to Languages and Machines by Alan P. Parkes, Dexter C. Kozen (Adapted by), Chris Hankin (Adapted by), Flemming Nielson (Adapted by) 2.83 avg rating — 6 ratings — published 2008 — 9 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Semantics With Applications: A Formal Introduction by Hanne Riis Nielson, Flemming Nielson 3.50 avg rating — 2 ratings — published 1992 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 34) by Flemming Nielson, Hanne Riis Nielson really liked it 4.00 avg rating — 1 rating — published 1992 — 6 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	ML with Concurrency: Design, Analysis, Implementation, and Application (Monographs in Computer Science) by Flemming Nielson (Editor) really liked it 4.00 avg rating — 1 rating — published 1996 — 5 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Formal Methods: An Appetizer by Flemming Nielson, Hanne Riis Nielson really liked it 4.00 avg rating — 1 rating — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	TYPE AND EFFECT SYSTEMS: BEHAVIOURS FOR CONCURRENCY by Torben Amtoft, Flemming Nielson, Hanne Riis Nielson really liked it 4.00 avg rating — 1 rating — published 1999	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	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) by Flemming Nielson (editor), David Sands (Editor) 0.00 avg rating — 0 ratings — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	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 by Flemming Nielson (Editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Principles of Program Analysis by Nielson, Flemming, Nielson, Hanne R., Hankin, Chris (2004) Hardcover by Flemming Nielson 0.00 avg rating — 0 ratings — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Two-level semantics and code generation by Flemming Nielson 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	A denotational framework for data flow analysis by Flemming Nielson 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science Book 34) by Flemming Nielson, Hanne Riis Nielson 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Semantic foundations of data flow analysis by Flemming Nielson 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Trustworthy Global Computing by Christos Kaklamanis (Editor), Flemming Nielson (Editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers (Lecture Notes in Computer Science, 5474) by Christos Kaklamanis (Editor), Flemming Nielson (Editor) 0.00 avg rating — 0 ratings — published 2009 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Semantics with Applications: An Appetizer by Hanne Riis Nielson, Flemming Nielson 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more books, click here.