Esta es nuestra librería de México.

Parece que estás en Estados Unidos. Para comprar en nuestra librería de México necesitas una dirección México. Ve a nuestra librería de Estados Unidos para continuar.

Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings eBook de

Interactive Theorem Proving

6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

ebook,ebook,ebook

Sinopsis

Acerca de este libro

  • Idioma:English
  • ISBN:9783319221021
  • Fecha de lanzamiento:19 ago 2015
  • Editorial:Springer International Publishing
  • Edición:Springer
  • Formato de archivo:EPUB2
  • Tamaño de archivo:8.89 MB
  • Opciones de descarga:EPUB2 (Adobe DRM)