Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings - Lecture Notes in Computer Science - Otmane Ait Mohamed - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540710653 - 30 de julio de 2008
En caso de que portada y título no coincidan, el título será el correcto

Otmane Ait Mohamed
Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings - Lecture Notes in Computer Science 2008 edition

Precio
$ 55,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 13 - 24 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

Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.

321 pages, black & white illustrations

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 30 de julio de 2008
ISBN13 9783540710653
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 321
Dimensiones 155 × 235 × 17 mm   ·   498 g
Lengua Francés  
Editor Ait Mohamed, Otmane
Editor Munoz, Cesar
Editor Tahar, Sofiene

Mere med samme udgiver

Ver todo de Otmane Ait Mohamed ( Ej. Paperback Book )