Logic in Computer Science
Modelling and Reasoning About Systems
Ratings1
Average rating3
15
Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.
Tags
Genre
Reviews
Popular Reviews
Reviews with the most likes.
There are no reviews for this book. Add yours and it'll show up right here!
