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)
Computer aided verification : 6. international conference, CAV '94 : Stanford, California, USA, June 21-23, 1994 : proceedings / David L. Dill (ed.)
Computer aided verification : 6. international conference, CAV '94 : Stanford, California, USA, June 21-23, 1994 : proceedings / David L. Dill (ed.)
Autore International conference CAV '94 : <6. : ; 1994
Pubbl/distr/stampa Berlin [etc.], : Springer-Verlag, c1994
Descrizione fisica IX, 480 p. ; 24 cm.
Disciplina 004.24015113
Collana Lecture notes in computer science
Soggetto topico Elaboratori elettronici - Valutazione - Congressi - 1994
ISBN 0387581790
3540581790
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-AQ10007166
International conference CAV '94 : <6. : ; 1994  
Berlin [etc.], : Springer-Verlag, c1994
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Computer aided verification : fourth international workshop, CAV '92 : Montreal, Canada, June 29 - July 1, 1992 : proceedings / G. v. Bochmann, D. K. Probst (eds.)
Computer aided verification : fourth international workshop, CAV '92 : Montreal, Canada, June 29 - July 1, 1992 : proceedings / G. v. Bochmann, D. K. Probst (eds.)
Autore International Workshop CAV '92 : <4. : ; 1992
Pubbl/distr/stampa Berlin [etc.], : Springer-Verlag, c1993
Descrizione fisica IX, 422 p. ; 24 cm.
Disciplina 004.24015113
Collana Lecture notes in computer science
Soggetto topico Elaboratori elettronici - Valutazione - Congressi - 1994
ISBN 0387564969
3540564969
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-AQ10013063
International Workshop CAV '92 : <4. : ; 1992  
Berlin [etc.], : Springer-Verlag, c1993
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Computer performance evaluation : modelling techniques and tools : 7. international conference : Vienna, Austria, May 3-6, 1994 : proceedings / Gunter Haring, Gabriele Kotsis (eds.)
Computer performance evaluation : modelling techniques and tools : 7. international conference : Vienna, Austria, May 3-6, 1994 : proceedings / Gunter Haring, Gabriele Kotsis (eds.)
Autore International Conference on Modelling Techniques and Tools for Computer Performance Evaluation : <7. : ; 1994
Pubbl/distr/stampa Berlin [etc.], : Springer-Verlag, c1994
Descrizione fisica X, 464 p. ; 24 cm.
Disciplina 004.24011
Collana Lecture notes in computer science
Soggetto topico Elaboratori elettronici - Valutazione - Congressi - 1994
ISBN 0387580212
3540580212
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-AQ10006364
International Conference on Modelling Techniques and Tools for Computer Performance Evaluation : <7. : ; 1994  
Berlin [etc.], : Springer-Verlag, c1994
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui