Cambridge University Press · Springer
| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| ML with Concurrency: Design, Analysis, Implementation, and Application | Hardcover | 978-0-387-94875-1 | 1996 | ||
| Principles of Program Analysis | Taschenbuch | 978-3-642-08474-4 | 2010 | ||
| Principles of Program Analysis | Gebunden | 978-3-540-65410-0 | 1999 | Hanne R. Nielson · Chris Hankin | |
| Semantics with Applications: An Appetizer | Paperback | 978-1-84628-691-9 | 2007 | Hanne Riis Nielson | |
| Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers | Taschenbuch | 978-3-642-00944-0 | 2010 | Christos Kaklamanis | |
| Two Level Functional Languages | Paperback | 978-0-521-01847-0 | 2008 | ||
| Two-Level Functional Languages | Hardcover | 978-0-521-40384-9 | 1992 | Hanne Riis Nielson | |