Home
My Books
Browse ▾
Recommendations
Choice Awards
Genres
Giveaways
New Releases
Lists
Explore
News & Interviews
Genres
Art
Biography
Business
Children's
Christian
Classics
Comics
Cookbooks
Ebooks
Fantasy
Fiction
Graphic Novels
Historical Fiction
History
Horror
Memoir
Music
Mystery
Nonfiction
Poetry
Psychology
Romance
Science
Science Fiction
Self Help
Sports
Thriller
Travel
Young Adult
More Genres
Community ▾
Groups
Quotes
Ask the Author
Sign In
Join
Sign up
View profile
Profile
Friends
Groups
Discussions
Comments
Reading Challenge
Kindle Notes & Highlights
Quotes
Favorite genres
Friends’ recommendations
Account settings
Help
Sign out
Home
My Books
Browse ▾
Recommendations
Choice Awards
Genres
Giveaways
New Releases
Lists
Explore
News & Interviews
Genres
Art
Biography
Business
Children's
Christian
Classics
Comics
Cookbooks
Ebooks
Fantasy
Fiction
Graphic Novels
Historical Fiction
History
Horror
Memoir
Music
Mystery
Nonfiction
Poetry
Psychology
Romance
Science
Science Fiction
Self Help
Sports
Thriller
Travel
Young Adult
More Genres
Community ▾
Groups
Quotes
Ask the Author
Discover new books on Goodreads
See if your friends have read any of Hanne Riis Nielson's books
Sign in with Facebook
Sign in
options
Join Goodreads
Hanne Riis Nielson’s Followers
None yet.
Hanne Riis Nielson
edit data
Combine Editions
Hanne Riis Nielson’s books
Hanne Riis Nielson
Average rating:
3.61
·
33
ratings ·
0
reviews ·
11 distinct works
Principles of Program Analysis
by
Flemming Nielson
,
Hanne Riis Nielson
,
Chris Hankin
3.63 avg rating — 35 ratings
— published 1999 —
9 editions
Want to Read
saving…
Want to Read
Currently Reading
Read
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
Want to Read
saving…
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
Want to Read
saving…
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
Want to Read
saving…
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
Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings (Lecture Notes in Computer Science, 4634)
by
Hanne Riis Nielson
(Editor)
,
Gilberto Filè
(Editor)
0.00 avg rating — 0 ratings
— published 2007 —
3 editions
Want to Read
saving…
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
Programming Languages and Systems - ESOP '96: 6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. Proceedings (Lecture Notes in Computer Science, 1058)
0.00 avg rating — 0 ratings
— published 1996 —
3 editions
Want to Read
saving…
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
Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated ... Kongens Lyngby, Denmark, June 17-21, 2019, Pr
0.00 avg rating — 0 ratings
Want to Read
saving…
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
Coordination Models and Languages
by
Hanne Riis Nielson
(editor)
,
Emilio Tuosto
(Editor)
0.00 avg rating — 0 ratings
—
2 editions
Want to Read
saving…
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
Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference ... Notes in Computer Science Book 11533)
by
Hanne Riis Nielson
(editor)
,
Emilio Tuosto
(editor)
0.00 avg rating — 0 ratings
Want to Read
saving…
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
Want to Read
saving…
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
More books by Hanne Riis Nielson…
Is this you?
Let us know.
If not, help out and
invite Hanne to Goodreads.
Welcome back. Just a moment while we sign you in to your Goodreads account.