F M. · Fran Miller · Fren Miller
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Logics for Concurrency: Structure versus Automata | 978-3-540-60915-5 (3-540-60915-6) | 2008 | Graham Birtwistle | |
| Logics for Concurrency: Structure Versus Automata | 978-0-387-60915-7 (0-387-60915-6) | 1996 | G. M. Birtwistle | |
| Modelling Computing Systems: Mathematics for Computer Science: The Mathematics of Computer Science | 978-1-84800-321-7 (1-84800-321-8) | 2013 | ||