|
|
Logic in Computer Science
Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.
EAN/ISBN : 9780511261589
Publisher(s): Cambridge University Press
Forma... |
 |
|
|
| Download PDF |
| Logic in Computer Science |
|
