Software engineering 1. Abstraction and modelling. (English) Zbl 1095.68020
Texts in Theoretical Computer Science. An EATCS Series. Berlin: Springer (ISBN 3-540-21149-7/hbk). xxxix, 711 p. (2006).
Reviewer: Tudor Bălănescu (Pitesti)