Formal Specification Techniques for Engineering Modular C Programs Autor Tan Yang Meng 30 noi 1995 Hardback Preț: 993.07 lei 1241.35 lei 43-57 zile -20%