Reasoning about names in higher-order abstract syntax vol.4
- Editore:
Forum Edizioni
- Collana:
- Phd thesis series
- Data di Pubblicazione:
- 2002
- EAN:
9788884200808
- ISBN:
8884200806
- Pagine:
- 184
Acquistabile con la
Fuori catalogo - Non ordinabile
€ 15.00
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti