Logics of specification languages

Logics of specification languages
Details
- OL Work ID
- OL18348755W
Subjects
Symbolic and mathematical LogicSemanticsProgramming languages (Electronic computers)Logic designInformation theoryComputer scienceSoftware engineeringLogic, symbolic and mathematicalProgramming languages (electronic computers)