From Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement
Editat de Alessandra Di Pierro et al.
15 feb 2020
Paperback
Preț: 374.14 lei
6-8 săpt.
Cărți de Alessandra Di Pierro
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Editat de Marco Bernardo et al.
7 iun 2013
Paperback
Preț: 287.51 lei 359.38 lei
6-8 săpt.
-20%