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 '90 : proceedings of a DIMACS workshop, June 18-21, 1990 / E. M. Clarke, R. P. Kurshan, editors
Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 / E. M. Clarke, R. P. Kurshan, editors
Autore DIMACS workshop on computer-aided verification <1990 ; Center for discrete mathematics and theoretical computer science>
Pubbl/distr/stampa Providence, RI : American Mathematical Society ; Baltimore, Md : Association for Computing Machinery, c1991
Descrizione fisica xii, 628 p. : ill. ; 27 cm
Disciplina 621.3815
Altri autori (Persone) Clarke, Edmund M.
Kurshan, R. P.
Collana DIMACS series in discrete mathematics and theoretical computer science, 1052-798 ; 3
Soggetto topico Computer - Aided design - Congresses
Digital integrated circuits-Design and construction-Data processing - Congresses
ISBN 0821865943 (AMS : alk. paper)
0897913868 (ACM : alk. paper)
Classificazione AMS 68-06
AMS 68M15
AMS 68Q05
AMS 68Q60
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000776179707536
DIMACS workshop on computer-aided verification <1990 ; Center for discrete mathematics and theoretical computer science>  
Providence, RI : American Mathematical Society ; Baltimore, Md : Association for Computing Machinery, c1991
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Model checking / Edmund Clarke jr., Orna Grumberg and Doron A. Peled
Model checking / Edmund Clarke jr., Orna Grumberg and Doron A. Peled
Autore Clarke, Edmund M.
Pubbl/distr/stampa Cambridge, Mass. : MIT Press, c1999
Descrizione fisica xiv, 314p. ; 24 cm
Disciplina 004.2'1
Altri autori (Persone) Grumberg, Orna
Peled, Doron A.
Soggetto non controllato Analisi e progettazione dei sistemi
Valutazione delle prestazioni
Sistemi di computer - verifiche
ISBN 0-262-03270-8
978-0-262-03270-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001504930403321
Clarke, Edmund M.  
Cambridge, Mass. : MIT Press, c1999
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui