José N. Oliveira
4 published titles
Advanced functional programming : Third International School, AFP '98, Braga, Portugal, September 12-19, 1998 : revised lectures
(Contributor)
1 edition
- ISBN: 3540662413
- Springer
- 1999
- Details
Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 2000 : proceedings
(Contributor)
1 edition
- ISBN: 3540677275
- Springer
- 2000
- Details
FME 2001 : formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings
(Contributor)
1 edition
- ISBN: 3540417915
- Springer
- 2001
- Details
Relational and algebraic methods in computer science : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28-October 1, 2015, proceedings
(Contributor)
1 edition
- ISBN: 9783319247038
- Springer
- 2015
- Details
