Electronic Books

Total Books: 1 - 3 /3
Functional and Logic Programming

This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS ...

Lire la suite
Functional and Logic Programming : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), ...

Lire la suite
Software Engineering and Formal Methods

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...

Lire la suite
Total Books: 1 - 3 /3