Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers - Lecture Notes in Computer Science - Peter Dybjer - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540605799 - 18 de octubre de 1995
En caso de que portada y título no coincidan, el título será el correcto

Peter Dybjer
Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers - 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

The papers in this collection address various aspects of developing computer-assisted proofs and programs using a logical framework. The text deals with type theory, and programs using logical frameworks based on it, including ALF, Coq and LEGO.

210 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 18 de octubre de 1995
ISBN13 9783540605799
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 210
Dimensiones 155 × 233 × 12 mm   ·   317 g
Lengua Alemán  
Editor Dybjer, Peter
Editor Nordstrom, Bengt
Editor Smith, Jan

Mere med samme udgiver

Ver todo de Peter Dybjer ( Ej. Paperback Book )