|
|
|
|
|
|
by rramadass
1482 days 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. |
|
|