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