Temporal Logic in Specification Editat de Behnam Banieqbal et al. 11 oct 1989 Paperback Preț: 330.36 lei 412.95 lei 43-57 zile -20%