Verifying Concurrent Processes Using Temporal Logic Lecture Notes in Computer Science, nr. 129 Autor B. T. Hailpern mar 1982 Paperback Preț: 323.10 lei 403.87 lei 43-57 zile -20%