Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers [Material Impreso]
Series Lecture notes in computer science ; 3839Datos de publicación: Berlin: Springer, (c)2006Descripción: 273 p. 15 x 23 cm. IMPRESOISBN: 978-3-540-31428-8Tema(s): TEORIA DE TIPOS | PROGRAMACION DE COMPUTADORES | TEOREMA AUTOMATICO-DEMOSTRACIONTipo de ítem | Biblioteca de origen | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|
Libro Sala | Centro | 005.131 FIL 2004 | Disponible | C032363 |
Inglés.
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.