Name: Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop (en Inglés)
SKU: 57997569
Price: 91759.00 CRC
Availability: InStock
Author: Edalat, Abbas ; Jourdan, S. ; McCusker, G.
ISBN: 9781860940316

portada Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop (en Inglés)

Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop (en Inglés)

Formato

Libro Físico

Editorial

Imperial College Press

Autor

Edalat, Abbas ; Jourdan, S. ; McCusker, G.

Idioma

Inglés

N° páginas

340

Encuadernación

Tapa Dura

ISBN13

9781860940316

Categorías

Teoría matemática de la computación
Aprendizaje automático («machine learning»)

Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop (en Inglés)

Edalat, Abbas ; Jourdan, S. ; Mccusker, G. (Autor) · Imperial College Press · Tapa Dura

Libro Nuevo Importado

Envío: 8 a 10 días háb.

₡ 91.759

Costos de importación y 13% IVA incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

₡ 91.759

Llega entre el 06 Nov y el 13 Nov a Costa Rica. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop (en Inglés)"

This volume contains the proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London. It covers various topics in theoretical computer science. Formal specification, theorem proving, operational and denotational semantics, real number computation, computational measure theory, and neural networks are all represented.

Opiniones del libro

¿Leíste este libro? Inicia sesión para poder agregar tu propia evaluación.

Ver más opiniones de clientes

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes

Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop (en Inglés) - Edalat, Abbas ; Jourdan, S. ; McCusker, G.

Reseña del libro "Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop (en Inglés)"

Opiniones del libro

Preguntas frecuentes sobre el libro

¿El libro es original?

¿En qué Idioma está escrito el libro?

¿Cuál es la encuadernación de este libro?

Preguntas y respuestas sobre el libro

Opiniones sobre Buscalibre