Neville Dean
5 published titles
Teaching and learning formal methods
(Contributor)
1 edition
- ISBN: 0123490405
- Academic
- 1996
- Details
The essence of discrete mathematics
1 edition
- ISBN: 0133459438
- Prentice Hall
- 1997
- Details
Diskrete mathematik : im klartext
1 edition
- ISBN: 3827370698
- Pearson Studium
- 2003
- Details
Logic and language
1 edition
- ISBN: 0333919777
- Palgrave Macmillan
- 2003
- Details
Teaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings
(Contributor)
1 edition
- ISBN: 3540236112
- Springer
- 2004
- Details