Name: Logic in Computer Science 2nd Edition Paperback: Modelling and Reasoning About Systems (en Inglés)
Price: 106510.00 CLP
Availability: InStock
Author: Huth, Michael ; Ryan, Mark
ISBN: 9780521543101

portada Logic in Computer Science 2nd Edition Paperback: Modelling and Reasoning About Systems (en Inglés)

Logic in Computer Science 2nd Edition Paperback: Modelling and Reasoning About Systems (en Inglés)

Formato

Libro Físico

Autor

Michael Huth

Mark Ryan

Editorial

Cambridge University Press

Año

2004

Idioma

Inglés

N° páginas

442

Encuadernación

Tapa Blanda

Dimensiones

24.6 x 17.5 x 2.3 cm

Peso

0.82 kg.

ISBN

052154310X

ISBN13

9780521543101

N° edición

0002

Categorías

Lenguajes de programación y extensión/scripting: general
Arquitectura y diseño lógico de ordenadores

Logic in Computer Science 2nd Edition Paperback: Modelling and Reasoning About Systems (en Inglés)

Michael Huth (Autor) · Mark Ryan (Autor) · Cambridge University Press · Tapa Blanda

Libro Nuevo Importado

Envío: 9 a 12 días háb.

$ 177.520$ 106.510

-40%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Última Unidad

$ 106.510

Llega entre el 24 Jul y el 29 Jul a Santiago, Región Metropolitana. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Logic in Computer Science 2nd Edition Paperback: Modelling and Reasoning About Systems (en Inglés)"

The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8