3 ms·
A couple of my favourites are; * Introductory Logic and Sets for Computer Scientists. * Formal Specification: Techniques and Applications. both by Nimal Niss
by rramadass 4y ago
A couple of my favourites are;
* Introductory Logic and Sets for Computer Scientists.
* Formal Specification: Techniques and Applications.
both by Nimal Nissanke.
The writing is Precise, Succinct, Clear with lots of examples. A wide variety of topics are explained without overwhelming the reader and all within a decent-sized book.