The parametric lambda calculus : a meta-model for computation / Simona Ronchi Della Rocca, Luca Paolini.
Tipo de material: TextoDetalles de publicación: Berlin ; New York : Springer-Verlag, c2004.Descripción: xiii, 252 p. : ill. ; 24 cmISBN:- 3540200320
- 9783540200321
- 511.35 22
- QA9.5 .R66 2004
Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems | |
---|---|---|---|---|---|---|---|---|
Colección general | Biblioteca Yachay Tech | 005.131 R769p 2004 (Navegar estantería(Abre debajo)) | Ej. 1 | Disponible | 000700 |
Total de reservas: 0
Navegando Biblioteca Yachay Tech estanterías Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
005.117 S2915o 2011 Object-oriented and classical software engineering / | 005.117 S2915o 2011 Object-oriented and classical software engineering / | 005.131 F547f 1996 First-Order logic and automated theorem proving / | 005.131 R769p 2004 The parametric lambda calculus : | 005.133 B7397i 2012 An introduction to modern mathematical computing : | 005.133 B7397i 2012 An introduction to modern mathematical computing : | 005.133 B7397i 2012 An introduction to modern mathematical computing : |
Includes bibliographical references (p. [241]-246) and index.
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.