Gå direkt till innehållet
Mathematical Logic for Computer Science
Spara

Mathematical Logic for Computer Science

Författare:
Engelska
This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.
Upplaga
3rd ed. 2012
ISBN
9781447141280
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2012-06-17
Sidor
346