Il libro è attualmente esaurito

Induction on non-freely generated data types

Autori

Claus Sengler

Parametri

Computer, IT, programmazione

Acquisto del libro

Induction on non-freely generated data types, Claus Sengler

Lingua
Pubblicato: 1997

Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

Ancora nessuna valutazione.Aggiungi una valutazione

Dettagli dell'edizioneSuggerisci una correzione