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
$ 91,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

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  

Mere med samme udgiver

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