Logic in Computer Science: Modelling and Reasoning about Systems - Huth, Michael (Imperial College of Science, Technology and Medicine, London) - Libros - Cambridge University Press - 9780521543101 - 26 de agosto de 2004
En caso de que portada y título no coincidan, el título será el correcto

Huth, Michael (Imperial College of Science, Technology and Medicine, London)
Logic in Computer Science: Modelling and Reasoning about Systems 2 Revised edition

Precio
$ 72,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 19 de jun. - 1 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expanded sections and exercises. The coverage of model-checking has been substantially updated.

440 pages, 10 tables 400 exercises

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 26 de agosto de 2004
ISBN13 9780521543101
Editores Cambridge University Press
Páginas 440
Dimensiones 173 × 246 × 22 mm   ·   804 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Huth, Michael (Imperial College of Science, Technology and Medicine, London) ( Ej. Paperback Book )