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ț: 421.13 lei 526.42 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ț: 233.64 lei 292.05 lei 6-8 săpt. -20%