Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings - Lecture Notes in Computer Science - R J Boulton - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540425250 - 22 de agosto de 2001
En caso de que portada y título no coincidan, el título será el correcto

R J Boulton
Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings - Lecture Notes in Computer Science 2001 edition

Precio
Mex$ 1.140
sin IVA

Pedido desde almacén remoto

Entrega prevista 20 de ago. - 7 de sep.
Recibe notificaciones sobre nuevos lanzamientos de R J Boulton

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

Aún no valorado

This volume constitutes the proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001) held 3-6 September 2001 in Edinburgh, Scotland. TPHOLs 2001 was collocated with the 11th Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods (CHARME 2001).

402 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 22 de agosto de 2001
ISBN13 9783540425250
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 402
Dimensiones 155 × 233 × 21 mm   ·   948 g
Lengua Alemán  
Editor Boulton, Richard J.
Editor Jackson, Paul B.

Más del mismo editor

Ver todo de R J Boulton ( Ej. Paperback Book )