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
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 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 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.

Mere med samme udgiver

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