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