From Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement Lecture Notes in Computer Science, nr. 12065 Editat de Alessandra Di Pierro et al. 15 feb 2020 Paperback Preț: 390.25 lei 6-8 săpt.
Formal Methods for Dynamical Systems Editat de Marco Bernardo et al. 7 iun 2013 Paperback Preț: 300.71 lei 375.89 lei 6-8 săpt. -20%