Reasoning about names in higher-order abstract syntax. Vol. 4
| Titolo | Reasoning about names in higher-order abstract syntax. Vol. 4 |
| Autore | Ivan Scagnetto |
| Collana | Phd thesis series |
| Editore | Forum Edizioni |
| Formato |
Libro: Copertina morbida |
| Pagine | 184 |
| Pubblicazione | 01/2002 |
| ISBN | 9788884200808 |
Libri dello stesso autore
Programmazione web. Lato server
Vincenzo Della Mea, Luca Di Gaspero, Ivan Scagnetto
Apogeo Education
Programmazione web. Lato server
Vincenzo Della Mea, Luca Di Gaspero, Ivan Scagnetto
Apogeo Education
Programmazione web. Lato server
Vincenzo Della Mea, Luca Di Gaspero, Ivan Scagnetto
Apogeo Education