Cambridge University Press · Springer
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Practical Aspects of Declarative Languages: 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings | 978-3-030-39196-6 (3-030-39196-5) | 2020 | Ekaterina Komendantskaya | |
| Systematic Program Design | 978-1-107-03660-4 (1-107-03660-7) | 2013 | ||
| Systematic Program Design: From Clarity to Efficiency | 978-1-107-61079-8 (1-107-61079-6) | 2013 | ||
A. L. · A. Liu · Professor Yanhong Annie Liu · Y. A. Liu · Y. Liu · Yanhong Liu