Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings Lecture Notes in Computer Science, nr. 398 Editat de Behnam Banieqbal et al. 11 oct 1989 Paperback Preț: 333.65 lei 417.06 lei 6-8 săpt. -20%