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.
Report on the third static analysis tool exposition (SATE 2010) / / vadim Okun, Aurelien Delaitre, Paul E. Black
| Report on the third static analysis tool exposition (SATE 2010) / / vadim Okun, Aurelien Delaitre, Paul E. Black |
| Autore | Okun Vadim |
| Pubbl/distr/stampa | Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 2011 |
| Descrizione fisica | 1 online resource |
| Altri autori (Persone) |
BlackPaul E
DelaitreAurélien OkunVadim |
| Collana | NIST special publication |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Report on the third static analysis tool exposition |
| Record Nr. | UNINA-9910711175403321 |
Okun Vadim
|
||
| Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The second static analysis tool exposition (SATE) 2009 / / vadim Okun, Aurelien Delaitre, Paul E. Black
| The second static analysis tool exposition (SATE) 2009 / / vadim Okun, Aurelien Delaitre, Paul E. Black |
| Autore | Okun Vadim |
| Pubbl/distr/stampa | Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 2010 |
| Descrizione fisica | 1 online resource |
| Altri autori (Persone) |
BlackPaul E
DelaitreAurélien OkunVadim |
| Collana | NIST special publication |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Second static analysis tool exposition |
| Record Nr. | UNINA-9910711175203321 |
|
Okun Vadim
|
||
| Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Static analysis tool exposition (SATE) 2008 / / vadim Okun, Romain Gaucher, Paul E. Black
| Static analysis tool exposition (SATE) 2008 / / vadim Okun, Romain Gaucher, Paul E. Black |
| Autore | Okun Vadim |
| Pubbl/distr/stampa | Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 2009 |
| Descrizione fisica | 1 online resource |
| Altri autori (Persone) |
BlackPaul E
GaucherRomain OkunVadim |
| Collana | NIST special publication |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Static analysis tool exposition |
| Record Nr. | UNINA-9910711175703321 |
|
Okun Vadim
|
||
| Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||