From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security Autor Daniel Wasserrab 17 aug 2014 Paperback Preț: 357.50 lei 446.88 lei 3-5 săpt. -20%
