This volume contains papers presented at the 7th International Conference on Formal Engineering M...

These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) ...

ThisvolumecontainsselectedpapersofLOPSTR2000,theTenthInternational 1 WorkshoponLogic-basedProgram...

This book constitutes the refereed proceedings of the Third European Conference on Service-Orient...

The book provides a comprehensive coverage of the widely accepted desiderata of component-based s...

Logic program synthesis and transformation are topics of central importance to the software indus...

Logic programming synthesis and transformation are methods of deriving logic programs from their ...

This book constitutes the refereed proceedings of the Second European Conference on Service-Orien...

1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR st...

- First book of its kind (case studies in CBD)- Covers different kinds of components- Covers diff...