| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910376031103321 |
|
|
Titolo |
CPP '18 : proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs : January 8-9, 2018, Los Angeles, CA, USA / / edited by June Andronick and Amy Felty ; sponsored by ACM SIGPLAN |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York : , : ACM, , 2018 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (306 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science - Mathematics |
Proof theory - Data processing |
Formal methods (Computer science) |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910878500603321 |
|
|
Autore |
Forlani, Rodolfo |
|
|
Titolo |
Quel che si dovrà fare nella Libia / R. Forlani |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Torino ; Genova, : Lattes, 1922 |
|
|
|
|
|
|
|
Descrizione fisica |
|
IX, 123 p. : ill. ; 20 cm. |
|
|
|
|
|
|
Collana |
|
Piccola enciclopedia di coltura ; 4 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |