Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method Autor Eduard Cerny et al. 31 oct 1998 Hardback Preț: 643.48 lei 757.04 lei 6-8 săpt. -15%