Antoni Diller
6 published titles
Compiling functional languages
1 edition
- ISBN: 0471920274
- Wiley
- 1988
- Details
Z : an introduction to formal methods
2 editions
- ISBN: 047192489X
- Wiley
- 1990
- Details
- ISBN: 0471939730
- Wiley
- 1994
- Details
LATEX line by line : tips and techniques for document processing
2 editions
- ISBN: 0471934712
- Wiley
- 1993
- Details
- ISBN: 047197918X
- J. Wiley & Sons
- 1999
- Details
How to detect an android
1 edition
- School of Computer Science, University of Birmingham
- 2011
- Details
Efficient bracket abstraction using iconic representation for combinators
1 edition
- School of Computer Science, University of Birmingham
- 2011
- Details
Stuart Holroyd : years of anger and beyond
1 edition
- ISBN: 9780946650149
- Paupers' Press
- 2012
- Details