Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method Autor Eduard Cerny et al. 12 oct 2012 Paperback Preț: 612.68 lei 720.80 lei 43-57 zile -15%
