00989cam a22002897i 4500
0
0
CCS
0
0
MMA
MMA
4
2018-04-13
Compra Programa de Bibliotecas 2017
1450.00
4
1
C F3 B812
23195
2023-01-24
2021-08-26
2018-04-13
LIBRO
18443
18441
AR_CdUFM
20190805130511.0
170624t20172017nyua 001 0 eng d
9781617293023
BTCTA
eng
BTCTA
rda
BDX
YDXCP
UUM
JRZ
WRF
DLC
AR_CdUFM
Brady, Edwin
22448
Type-driven development with Idris /
Edwin Brady.
New York :
Manning Publications,
2017.
xxiv, 453 p. :
il. ;
24 cm
Incluye índice.
Compra Programa de Bibliotecas 2017 ;
Logics and meanings of programs.
Mathematical logic.
Formal languages.
Programming techniques.
Lógica y significado de programas.
Lógica matemática.
Lenguajes formales.
Técnicas de programación.
CCS
LIBRO
MCR
2018-04-13