A Formal Specification and Proof of System Safety Using the Schematic Protection Model Autor Raymond S Way 9 oct 2012 Paperback Preț: 95.98 lei 6-8 săpt.