Reviews for Logic in Computer Science: Modelling and Reasoning about Systems

The average rating for Logic in Computer Science: Modelling and Reasoning about Systems based on 2 reviews is 5 stars.

Review # 1 was written on 2019-04-20 00:00:00 Thomas Bishop Very good book for Verification module for SSE. I read the fourth chapter about program verification and it provided me with a great foundation for my exams :)

Review # 2 was written on 2019-01-15 00:00:00 Erin Kearney Very well written. Gives required for formal verification background. Contains good excersizes for self study.