Filter
Sökt på: nuno oliveira
Filter
totalt 3 träffar
Teaching Formal Methods
häftad,
2009,
Engelska,
ISBN 9783642049118
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 …
Mathematics of Program Construction
häftad,
2000,
Engelska,
ISBN 9783540677277
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 …
Computational Processing of the Portuguese Language
häftad,
2006,
Engelska,
ISBN 9783540340454
Since 1993, PROPOR Workshops have become an important forum for - searchers involved in the Computational Processing of Portuguese,both written and spoken. This PROPOR Workshop …