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