Types for Proofs and Programs: International Workshop Types'96, Aussois, France, December 15-19, 1996 Selected Papers - Lecture Notes in Computer Science - Eduardo Gimenez - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540651376 - 7 de octubre de 1998
En caso de que portada y título no coincidan, el título será el correcto

Eduardo Gimenez
Types for Proofs and Programs: International Workshop Types'96, Aussois, France, December 15-19, 1996 Selected Papers - Lecture Notes in Computer Science

Precio
$ 55,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 10 - 23 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 presents the revised proceedings of a workshop on type proofs and programs. All aspects of type theory and type systems and their applications to program verification and theorem proving are addressed. The proof systems and theorem provers dealt with include Coq, LEGO, and Isabelle/HOL.

388 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 7 de octubre de 1998
ISBN13 9783540651376
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 388
Dimensiones 156 × 234 × 20 mm   ·   539 g
Lengua Alemán  
Editor Gimenez, Eduardo
Editor Paulin-mohring, Christine

Mere med samme udgiver

Ver todo de Eduardo Gimenez ( Ej. Paperback Book )