Alta reperibilità
Edinburgh LCF
A Mechanized Logic Of Computation
- Editore:
Springer Berlin Heidelberg
- EAN:
9783540097242
- ISBN:
3540097244
- Pagine:
- 172
- Formato:
- Paperback
- Lingua:
- Tedesco
Acquistabile con
o la
Descrizione Edinburgh LCF
ML.- PPLAMBDA.
€ 28.14
Disponibile in 10-12 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti