Logic in computer science
modelling and reasoning about systems
كتاب من تأليف: Huth, Michael ; Ryan, Mark ; نشر في: 2004
طبعة:
Cambridge (UK):
Cambridge University Press
Cambridge University Press
لغة:
إنجليزية
الوصف المادي:
427 p. ill., couv. ill. en coul.
;25 cm
ISBN: 052154310X
ملاحظة: Bibliogr. p. 414-417. Index