Formal Methods for Industrial Critical Systems
No description available.
Information systemsSoftware engineeringLogic designLogics and Meanings of ProgramsComputer Appl. in Administrative Data ProcessingComputer scienceComputation by Abstract DevicesSpecial Purpose and Application-Based Systems