Author: Jose Nuno Oliveira

Support

2 Ebooks by Jose Nuno Oliveira

Roland Backhouse & Jose Nuno Oliveira: Mathematics of Program Construction
This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematics of Program Construction. This series of conferences aims to promote the development of mathematical …
PDF
English
DRM
€58.04
Jeremy Gibbons & Jose Nuno Oliveira: Teaching Formal Methods
This volume contains the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods, organized by the Subgroup of Education of the Formal Methods Europe (FME) associat …
PDF
English
DRM
€57.05