Presentazione dell'autore Aaron Stump:

Libri pubblicati finora da Aaron Stump:

Programmazione funzionale verificata in Agda - Verified Functional Programming in Agda
Agda è un linguaggio di programmazione avanzato basato sulla...
Programmazione funzionale verificata in Agda - Verified Functional Programming in Agda
Programmazione funzionale verificata in Agda - Verified Functional Programming in Agda
Agda è un linguaggio di programmazione avanzato basato sulla...
Programmazione funzionale verificata in Agda - Verified Functional Programming in Agda
<<
1
>>

© Book1 Group - tutti i diritti riservati.
Il contenuto di questo sito non può essere copiato o utilizzato, né in parte né per intero, senza il permesso scritto del proprietario.
Ultima modifica: 2024.11.08 20:28 (GMT)