Semantics of Type Theory: Correctness, Completeness and Independence Results - Progress in Theoretical Computer Science - T. Streicher - Libros - Springer-Verlag New York Inc. - 9781461267577 - 29 de octubre de 2012
En caso de que portada y título no coincidan, el título será el correcto

T. Streicher
Semantics of Type Theory: Correctness, Completeness and Independence Results - Progress in Theoretical Computer Science Softcover reprint of the original 1st ed. 1991 edition

Precio
Mex$ 1.964
sin IVA

Pedido desde almacén remoto

Entrega prevista 11 - 27 de ago.
Recibe notificaciones sobre nuevos lanzamientos de T. Streicher

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

Aún no valorado

Types can be consid ered as weak specifications of programs and checking that a program is of a certain type provides a verification that a program satisfies such a weak speci fication.

299 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 29 de octubre de 2012
ISBN13 9781461267577
Editores Springer-Verlag New York Inc.
Páginas 299
Dimensiones 156 × 234 × 17 mm   ·   444 g
Lengua Inglés  

Más del mismo editor

Ver todo de T. Streicher ( Ej. Paperback Book )