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.
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 | ||
| ||
Progettazione digitale / Franco Fummi, Marigiovanna Sami, Cristina Silvano
| Progettazione digitale / Franco Fummi, Marigiovanna Sami, Cristina Silvano |
| Autore | Fummi, Franco |
| Edizione | [2. ed.] |
| Pubbl/distr/stampa | Milano : McGraw-Hill, c2007 |
| Descrizione fisica | XII, 387 p. : ill. ; 24 cm |
| Disciplina | 004.21 |
| Altri autori (Persone) |
Sami, Mariagiovanna
Silvano, Cristina |
| Collana | Collana di istruzione scientifica, Serie di informatica |
| Soggetto non controllato |
Analisi e progettazione dei sistemi
Progettazione digitale |
| ISBN |
978-88-386-352-9
88-386-6352-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990008626080403321 |
|
Fummi, Franco
|
||
| Milano : McGraw-Hill, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Progettazione digitale / Franco Fummi, Maria Giovanna Sami, Cristina Silvano
| Progettazione digitale / Franco Fummi, Maria Giovanna Sami, Cristina Silvano |
| Autore | Fummi, Franco |
| Pubbl/distr/stampa | Milano : McGraw-Hill, c2002 |
| Descrizione fisica | x, 454 p. : ill. ; 24 cm |
| Disciplina | 004.21 |
| Altri autori (Persone) |
Sami, Mariagiovanna
Silvano, Cristina |
| Collana | Collana di istruzione scientifica, Serie di informatica |
| Soggetto non controllato |
Analisi e progettazione dei sistemi
Progettazione digitale |
| ISBN | 88-386-6027-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990001495010403321 |
|
Fummi, Franco
|
||
| Milano : McGraw-Hill, c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||