Logics of specification languages
No description available.
Symbolic and mathematical LogicSemanticsProgramming languages (Electronic computers)Logic designInformation theoryComputer scienceSoftware engineeringLogic, symbolic and mathematicalProgramming languages (electronic computers)