Logics of specification languages
by D. Bjørner, Martin C. Henson
Symbolic and mathematical LogicSemanticsProgramming languages (Electronic computers)Logic designInformation theoryComputer scienceSoftware engineeringLogic, symbolic and mathematical
Writing a summary for young readers…
For young readers
Book data: Open Library