| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Abstract Interpretation of Declarative Languages | Paperback | | 978-0-470-20971-4 | 1987 | Samson Abramsky |
| An Introduction to Lambda Calculi for Computer Scientists | " | | 978-0-9543006-5-4 | 2004 |
| Coordination: Languages and Models: 1st International Conference Coordination '96, Cesena, Italy, April 1996: Proceedings | " | | 978-0-387-61052-8 | 1996 | Italy) International Conference Coordination '9 1996 Cesena · Paolo Ciancarini |
| Coordination Languages and Models: First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings. | Taschenbuch | | 978-3-540-61052-6 | 2008 | Paolo Ciancarini |
| Lambda Calculi: A Guide for Computer Scientists | Paperback | | 978-0-19-853840-0 | 1995 |
| Principles of Functional Programming | Hardcover | | 978-0-13-709148-5 | 1984 | Hugh Glaser · David Till |
| Principles of Functional Programming | Paperback | | 978-0-13-709163-8 | 1984 |
| Principles of Program Analysis | " | | 978-3-642-08474-4 | 2010 | Flemming Nielson · Hanne R. Nielson |
| Principles of Program Analysis | Gebunden | | 978-3-540-65410-0 | 1999 | Flemming Nielson · Hanne R. Nielson |
| Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and ... March 28 - April 4, 1998, Proceedings | Paperback | | 978-3-662-18403-5 | 2014 |
| Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and ... Notes in Computer Science , Band 1381) | Taschenbuch | | 978-3-540-64302-9 | 2008 |
| Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays | " | | 978-3-319-27809-4 | 2015 | Christian W. Probst · René Rydhof Hansen |
| Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings | " | | 978-3-540-28584-7 | 2008 | Igor Siveroni |