bernd krieg brückner
Algebraic Foundations of Systems Specification
TaschenbuchPrint on DemandThe aim of software engineering is the provision and investigation of methods for the development...
ESOP ’92
TaschenbuchPrint on DemandThis volume contains selected papers from ESOP '92. ESOP addresses fundamental issues and importa...
Program Development by Specification and Transformation
TaschenbuchPrint on DemandThis volume gives a coherent presentation of the outcome ofthe project PROSPECTRA (PROgram ...
- 1