Logic in computer science
modelling and reasoning about systems
Livre Ecrit par: Huth, Michael ; Ryan, Mark ; Publié en: 2004
Edition:
Cambridge (UK):
Cambridge University Press
Cambridge University Press
Langue:
Anglais
Collation:
427 p. ill., couv. ill. en coul.
;25 cm
ISBN: 052154310X
Note: Bibliogr. p. 414-417. Index