Types for Proofs and Programs: International Workshop, Types '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers - Lecture Notes in Computer Science - T Altenkirch - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540665373 - 22 de septiembre de 1999
En caso de que portada y título no coincidan, el título será el correcto

T Altenkirch
Types for Proofs and Programs: International Workshop, Types '98, Kloster Irsee, Germany, March 27-31, 1998, 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 text constitutes the refereed post-workshop proceedings of the International Workshop on Types for Proofs and Programs, TYPES '98. A variety of aspects of type theory and type systems and their relation to proof theory are addressed.

212 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 22 de septiembre de 1999
ISBN13 9783540665373
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 212
Dimensiones 156 × 234 × 11 mm   ·   312 g
Lengua Alemán  
Editor Altenkirch, Thorsten
Editor Naraschewski, Wolfgang
Editor Reus, Bernhard

Mere med samme udgiver

Ver todo de T Altenkirch ( Ej. Paperback Book )