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 6-8 săpt. -20%