‏358.00 ₪

MATHEMATICAL LOGIC FOR COMPUTER SCIENCE 3e

‏358.00 ₪
ISBN13
9781447141280
יצא לאור ב
London
זמן אספקה
21 ימי עסקים - לא במלאי בארץ
עמודים / Pages
346
תאריך יציאה לאור
15 ביוני 2012
מחליף את פריט
9781852333195
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.
מידע נוסף
עמודים / Pages 346
מחליף את פריט 9781852333195
ISBN10 1447141288
יצא לאור ב London
תאריך יציאה לאור 15 ביוני 2012