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ț: 413.34 lei 516.67 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ț: 229.14 lei 286.42 lei 6-8 săpt. -20%