This volume contains selected papers from WADT 2002, the 16th International Workshop on Algebraic...

This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on...

Service-Oriented Computing is a paradigm for developing and providing software that can address m...

A collective autonomic system consists of collaborating autonomic entities which are able to adap...

Algebraic specification a step towards future software engineering.- How to make algebraic specif...

The systematic development of software systems is a centraltask of computing science. A s...

This volume contains the papers from the workshop ¿Radical Innovations of Software and Systems En...

This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer ...

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic M...

Das Buch bietet eine knappe, praxisorientierte Einfu¿hrung in die Programmierung mit Java, die de...

Towards a theory of relativizations: Positive relativizations.- Natural semantics.- On local rout...

This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a s...