Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols SpringerBriefs in Applied Sciences and Technology Autor Benjamin Aziz 14 dec 2021 Paperback Preț: 366.53 lei 458.16 lei 6-8 săpt. -20%
