FFormal Methods in Systems EngineeringFormal Methods in Systems Engineeringde P. RyanMateriasComputer software, developmentSystems engineeringComputer scienceEdiciones (1)Formal Methods in Systems Engineering (1993)Springer London, Limited · inglés · ISBN 9783540197515Más obras de P. RyanAmerican Education in Popular Media