| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings ... Notes in Computer Science , Band 1486) | Taschenbuch | 978-3-540-65003-4 | 2008 | Anders P. Ravn | |
| Functional Programming Using F# | Hardcover | 978-1-107-01902-7 | 2013 | Michael R. Hansen | |
| Functional Programming Using F# | Paperback | 978-1-107-68406-5 | 2013 | " | |
| Hybrid Systems | Taschenbuch | 978-3-540-57318-0 | 2008 | Anil Nerode · Robert L. Grossman · Anders P. Ravn | |
| Introduction to Programming using SML | Paperback | 978-0-201-39820-5 | 1999 | Michael Hansen |
Hannes Reichl · Hannes Rickli · Hans Reichel · Hans Riegel · Hans Riesel · Hans Rochol · Hans Rogalla · Heinz Risel
Addison-Wesley · Cambridge University Press · Springer