Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 Lecture Notes in Computer Science, nr. 164 Editat de E. Clarke et al. feb 1984 Paperback Preț: 429.81 lei 537.25 lei 6-8 săpt. -20%
Logics of Programs: Workshop, Yorktown Heights, NY, USA Lecture Notes in Computer Science, nr. 131 Editat de D. Kozen mar 1982 Paperback Preț: 238.50 lei 298.12 lei 6-8 săpt. -20%