Theorem Proving in Higher Order Logics: 15th International Conference, Tphols 2002, Hampton, Va, Usa, August 20-23, 2002. Proceedings - Lecture Notes in Computer Science - Alessandro B Montanari - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540440390 - 7 de agosto de 2002
En caso de que portada y título no coincidan, el título será el correcto

Alessandro B Montanari
Theorem Proving in Higher Order Logics: 15th International Conference, Tphols 2002, Hampton, Va, Usa, August 20-23, 2002. Proceedings - Lecture Notes in Computer Science

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

Constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics held in the USA in 2002. The 20 papers cover issues in HOL theorem proving and formal verification of software and hardware systems, evaluating Isabelle/HOL, Isabelle/Isar and Coq.

347 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 7 de agosto de 2002
ISBN13 9783540440390
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 347
Dimensiones 156 × 234 × 19 mm   ·   843 g
Lengua Alemán  
Editor Carreno, Victor A.
Editor Munoz, Cesar A.
Editor Tahar, Sofiene

Mere med samme udgiver

Ver todo de Alessandro B Montanari ( Ej. Paperback Book )