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%