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
Navegando Biblioteca Yachay Tech estanterías Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
005.1 Y48s 2012 A short course in computational science and engineering : | 005.1 Z54c 2022 Computability and computational complexity : a practical introduction to the mathematical theory of computing / | 005.1 Z54c 2022 Computability and computational complexity : a practical introduction to the mathematical theory of computing / | 005.1015113 H979l 2004 Logic in computer science : | 005.11 R1477e 2013 Expert C# 5.0 with .NET 4.5 framework / | 005.11 R1477e 2013 Expert C# 5.0 with .NET 4.5 framework / | 005.11 R1477e 2013 Expert C# 5.0 with .NET 4.5 framework / |
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.