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 6-8 săpt.