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