Title: Logics of specification languages
Subjects: Symbolic and mathematical Logic, Semantics, Programming languages (Electronic computers), Logic design, Information theory, Computer science, Software engineering, Logic, symbolic and mathematical, Programming languages (electronic computers)