Name: Interactive Theorem Proving: 8th International Conference, Itp 2017, Brasília, Brazil, September 26-29, 2017, Proceedings (en Inglés)
Price: 1323.74 MXN
Availability: InStock
Author: Ayala-Rincón, Mauricio ; Muñoz, César a.
ISBN: 9783319661063

Envío gratis

portada Interactive Theorem Proving: 8th International Conference, Itp 2017, Brasília, Brazil, September 26-29, 2017, Proceedings (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Ayala-Rincón, Mauricio ; Muñoz, César a.

Idioma

Inglés

N° páginas

532

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 2.8 cm

Peso

0.77 kg.

ISBN13

9783319661063

Categorías

Lógica matemática
Dispositivos lectores de libros digitales
Teléfonos móviles
Compiladores e intérpretes

Interactive Theorem Proving: 8th International Conference, Itp 2017, Brasília, Brazil, September 26-29, 2017, Proceedings (en Inglés)

Ayala-Rincón, Mauricio ; Muñoz, César A. (Autor) · Springer · Tapa Blanda

Libro Nuevo

$ 1,323.74

$ 2,406.80

Ahorras: $ 1,083.06

45% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Lunes 05 de Agosto y el Viernes 16 de Agosto.

Lo recibirás en cualquier lugar de México entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Interactive Theorem Proving: 8th International Conference, Itp 2017, Brasília, Brazil, September 26-29, 2017, Proceedings (en Inglés)"

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.