Verifying Concurrent Processes Using Temporal Logic Autor B. T. Hailpern mar 1982 Paperback Preț: 318.06 lei 397.57 lei 6-8 săpt. -20%