Logic in computer science : modelling and reasoning about systems / Michael Huth and Mark Ryan.
Tipo de material: TextoIdioma: eng. Detalles de publicación: Cambridge [U.K.] ; New York : Cambridge University Press ; 2004.Edición: 2nd edDescripción: xiv, 427 p. : illustrations ; 25 cmISBN:- 052154310X (pbk.)
- 9780521543101
- 005.101 22
- QA76.9.L63 H88 2004
Contenidos:
Foreword. 1. Propositional logic. 2. Predicate logic. 3. Verification by model checking. 4. Program verification. 5. Modal logics and agents. 6. Binary decision diagrams. Bibliography. Index.
Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems | |
---|---|---|---|---|---|---|---|---|
Colección general | Biblioteca Yachay Tech | 005.1015113 H979l 2004 (Navegar estantería(Abre debajo)) | Ej. 1 | Disponible | 004310 |
Total de reservas: 0
Includes index.
Includes bibliographical references (p. 414-417).
Foreword. 1. Propositional logic. 2. Predicate logic. 3. Verification by model checking. 4. Program verification. 5. Modal logics and agents. 6. Binary decision diagrams. Bibliography. Index.
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.