Importe total (1 artículo artículos):
Destino del pedido:
9780521656023 - Logic in Computer Science: Modelling and Reasoning about Systems de Huth, Michael; Ryan, Mark (7 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (7)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (No hay ningún otro resultado que coincida con este filtro.)
- Como nuevo, Excelente o Muy bueno (No hay ningún otro resultado que coincida con este filtro.)
- Bueno o Aceptable (6)
- Regular o Pobre (1)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
- Todas
- Tapa dura (No hay ningún otro resultado que coincida con este filtro.)
- Tapa blanda (7)
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (No hay ningún otro resultado que coincida con este filtro.)
- No impresión bajo demanda (7)
Idioma (1)
Precio
- Cualquier precio
- Menos de EUR 20
- EUR 20 a EUR 45 (No hay ningún otro resultado que coincida con este filtro.)
- Más de EUR 45 (No hay ningún otro resultado que coincida con este filtro.)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Logic in Computer Science: Modelling and Reasoning about Systems
Idioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521656028 ISBN 13: 9780521656023
Librería: ThriftBooks-Reno, Reno, NV, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 12,88
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Logic in Computer Science: Modelling and Reasoning about Systems
Idioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521656028 ISBN 13: 9780521656023
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 12,88
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Logic in Computer Science: Modelling and Reasoning about Systems
Idioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521656028 ISBN 13: 9780521656023
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 12,88
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Logic in Computer Science : Modelling and Reasoning about Systems
Idioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521656028 ISBN 13: 9780521656023
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 12,88
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Logic in Computer Science : Modelling and Reasoning about Systems
Idioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521656028 ISBN 13: 9780521656023
Librería: Better World Books Ltd, Dunfermline, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 8,43
Envío por EUR 5,79
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Logic in Computer Science: Modelling and Reasoning About Systems
Idioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521656028 ISBN 13: 9780521656023
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 5,19
Envío por EUR 15,76
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Clean from markings. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:9780521656023.
-
Logic in Computer Science: Modelling and Reasoning about Systems
Idioma: Inglés
Publicado por Cambridge University Press, United Kingdom, Cambridge, 1999
ISBN 10: 0521656028 ISBN 13: 9780521656023
Librería: WorldofBooks, Goring-By-Sea, WS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 17,21
Envío por EUR 6,49
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Recent years have seen the development of powerful tools for verifying hardware and software systems, and increasing interest in that technology from major companies. Students need a basic formal training which allows them to gain sufficient proficiency in using logic-based verification methods. This book addresses these needs by providing a sound basis in logic, and an introduction to the logical frameworks used in modelling, specifying and verifying computer systems. It provides a simple and clear presentation, covering propositional and predicate logic, and some specialised logics used for reasoning about the correctness of computer systems. The authors introduce a carefully chosen core of essential terminology: further technicalities are introduced only when necessary. Numerous examples are given, as well as a full exposition of a fast-growing technique for modelling and verifying computer systems, known as symbolic model checking. Numerous examples are given, and web support is available from http:www.cs.bham.ac.uk/research/lics. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
