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.
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 |
Reliability of computer and communication networks : proceedings of a DIMACS Workshop, December 2-4, 1989 / Fred Roberts, Frank Hwang, Clyde Monma, editors
| Reliability of computer and communication networks : proceedings of a DIMACS Workshop, December 2-4, 1989 / Fred Roberts, Frank Hwang, Clyde Monma, editors |
| Autore | DIMACS workshop on reliability of computer and communication networks <1989 ; Rutgers University> |
| Pubbl/distr/stampa | Providence, R.I. : American Mathematical Society ; Baltimore, Md : Association for Computing Machinery, c1991 |
| Descrizione fisica | xix, 259 p. : ill. ; 26 cm |
| Disciplina | 004.6 |
| Altri autori (Persone) |
Roberts, Fred S.
Hwang, Frankauthor Monma, Clyde L. |
| Altri autori (Enti) |
DIMACS American Mathematical Society Association for Computing Machinery |
| Collana | DIMACS series in discrete mathematics and theoretical computer science, 1052-798 ; 5 |
| Soggetto topico | Computer networks-reliability - Congresses |
| ISBN |
0821865927 (AMS)
0897913876 (ACM) |
| Classificazione |
AMS 05-06
AMS 05C99 AMS 68-06 AMS 68M10 AMS 68M15 AMS 68R10 AMS 90-06 AMS 90B25 AMS 94-06 AMS 94C15 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001296079707536 |
DIMACS workshop on reliability of computer and communication networks <1989 ; Rutgers University>
|
||
| Providence, R.I. : American Mathematical Society ; Baltimore, Md : Association for Computing Machinery, c1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Reliable computer systems : design and evaluation / Daniel P. Siewiorek, Robert S. Swarz
| Reliable computer systems : design and evaluation / Daniel P. Siewiorek, Robert S. Swarz |
| Autore | Siewiorek, Daniel P. |
| Edizione | [2nd ed] |
| Pubbl/distr/stampa | Burlington, MA : Digital Press, c1992 |
| Descrizione fisica | xix, 908 p. : ill. ; 25 cm. |
| Disciplina | 004 |
| Altri autori (Persone) | Swarz, Robert S. |
| Soggetto topico |
Electronic digital computers-reliability
Fault-tolerant computing |
| ISBN | 1555580750 |
| Classificazione |
AMS 68M15
CR B.4.5 QA76.5.S537 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001296149707536 |
|
Siewiorek, Daniel P.
|
||
| Burlington, MA : Digital Press, c1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Verifying concurrent processes using temporal logic / Brent T. Hailpern
| Verifying concurrent processes using temporal logic / Brent T. Hailpern |
| Autore | Hailpern, Brent T. |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1982 |
| Descrizione fisica | viii, 208 p. : ill. ; 25 cm. |
| Disciplina | 001.642 |
| Soggetto topico |
Computer programs
Parallel processing Reliability |
| ISBN | 3540112057 |
| Classificazione | AMS 68M15 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001477609707536 |
|
Hailpern, Brent T.
|
||
| Berlin : Springer-Verlag, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||