Vista normal Vista MARC Vista ISBD

Huth, Michael, 1962-

Logic in computer science : modelling and reasoning about systems Michael Huth, Mark Ryan. - 2nd ed. - Cambridge [U.K.] ; Cambridge University Press, 2004. - xiv, 427 p. : il. ; 25 cm.

Incluye referencias bibliográficas (414-417) e índice.

ISBN: 9780521543101

Subjects--Topical Terms:
Lógica
Programación de computadora
Informática

Dewey Class. No.: 005.1/01/5113