Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Proceedings of the 11th International Workshop on Formal Techniques for Java-Like Programs
| Proceedings of the 11th International Workshop on Formal Techniques for Java-Like Programs |
| Autore | Banerjee Anindya |
| Pubbl/distr/stampa | [Place of publication not identified], : Association for Computing Machinery, 2009 |
| Descrizione fisica | 1 online resource (64 p.;) |
| Collana | ACM Other conferences |
| Soggetto topico | Information Technology - Computer Science (Hardware & Networks) |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | FTfJP '09 |
| Record Nr. | UNINA-9910375797403321 |
Banerjee Anindya
|
||
| [Place of publication not identified], : Association for Computing Machinery, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 5th Acm Sigplan Workshop on Programming Languages and Analysis for Security
| Proceedings of the 5th Acm Sigplan Workshop on Programming Languages and Analysis for Security |
| Autore | Banerjee Anindya |
| Pubbl/distr/stampa | [Place of publication not identified] : , : Association for Computing Machinery, , 2010 |
| Descrizione fisica | 1 online resource (77 pages) |
| Collana | ACM Conferences. |
| Soggetto topico | Information Technology - Computer Science (Hardware & Networks) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | PLAS '10 |
| Record Nr. | UNINA-9910376062303321 |
|
Banerjee Anindya
|
||
| [Place of publication not identified] : , : Association for Computing Machinery, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||