Verifying Concurrent Processes Using Temporal Logic Lecture Notes in Computer Science, nr. 129 Autor B. T. Hailpern mar 1982 Paperback Preț: 316.11 lei 395.14 lei 6-8 săpt. -20%