A Formal Specification and Proof of System Safety Using the Schematic Protection Model Autor Raymond S Way 9 oct 2012 Paperback Preț: 96.20 lei 43-57 zile