Recent Trends in Algebraic Development Techniques

Formal Aspects of Component Software

This book constitutes the revised selected pape...

Recent Trends in Algebraic Development Techniques

This book constitutes the thoroughly refereed p...

Business Process Management

This book constitutes the refereed proceedings ...

Software Design Using Java 2

Software Design Using Java 2 is a Software Engi...

Categories for Software Engineering

This book provides a gentle, software engineeri...

Recent Trends in Algebraic Development Techniques

This book constitutes the thoroughly refereed p...

Formal Aspects of Component Software

This book constitutes the revised selected pape...

Recent Trends in Algebraic Development Techniques

This book constitutes the thoroughly refereed p...

Recent Trends in Algebraic Development Techniques

This book constitutes the thoroughly refereed p...

Categories for Software Engineering

Why Another Book on Category Theory? In the pas...

Recent Trends in Algebraic Development Techniques

This volume contains selected papers from WADT ...