top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Static analysis : 8th International symposium, SAS 2001 : Paris, France, July 16-18, 2001 : proceedings / Patrick Cousot (ed.)
Static analysis : 8th International symposium, SAS 2001 : Paris, France, July 16-18, 2001 : proceedings / Patrick Cousot (ed.)
Autore International symposium SAS 2001 <8. ; 2001 ; Parigi, France>
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 2001
Descrizione fisica XI, 436 p. : ill. ; 20 cm
Disciplina 005.1
Collana Lecture notes in computer science
Soggetto non controllato Algoritmi - Congressi - 2001
Elaboratori elettronici - Programmazione - Congressi - 2001
Linguaggi di programmazione - Congressi - 2001
Congressi - Parigi - 2001
ISBN 3-540-42314-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000843980203316
International symposium SAS 2001 <8. ; 2001 ; Parigi, France>  
Berlin [etc.] : Springer-Verlag, copyr. 2001
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Static analysis : third International workshop, WSA'93 : Padova, Italy, September 22-24, 1993 : proceedings / Patrick Cousot (ed.)
Static analysis : third International workshop, WSA'93 : Padova, Italy, September 22-24, 1993 : proceedings / Patrick Cousot (ed.)
Autore International workshop WSA'93 : 3. : 1993
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1993
Descrizione fisica IX, 283 p. : ill. ; 23 cm
Disciplina 0051
Collana Lecture notes in computer science
Soggetto non controllato algoritmi - congressi - 1993
congressi - padova - 1993
elaboratori elettronici - programmazione - congressi - 1993
linguaggi di programmazione - congressi - 1993
ISBN 3-540-57264-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000204900203316
International workshop WSA'93 : 3. : 1993  
Berlin [etc.] : Springer-Verlag, copyr. 1993
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Static Analysis [Risorsa elettronica] : 8th International Symposium, SAS 2001 Paris, France, July 16–18, 2001 Proceedings / edited by Patrick Cousot
Static Analysis [Risorsa elettronica] : 8th International Symposium, SAS 2001 Paris, France, July 16–18, 2001 Proceedings / edited by Patrick Cousot
Pubbl/distr/stampa Berlin ; Heidelberg : Springer, 2006
Collana Lecture Notes in Computer Science
ISBN 9783540477648
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990009251410403321
Berlin ; Heidelberg : Springer, 2006
Risorse elettroniche
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui