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.
Models and analysis in distributed systems [[electronic resource] /] / edited by Serge Haddad ... [et al.]
| Models and analysis in distributed systems [[electronic resource] /] / edited by Serge Haddad ... [et al.] |
| Pubbl/distr/stampa | London, : ISTE |
| Descrizione fisica | 1 online resource (358 p.) |
| Disciplina | 003.78 |
| Altri autori (Persone) | HaddadSerge |
| Collana | ISTE |
| Soggetto topico |
Distributed parameter systems - Simulation methods
System analysis |
| ISBN |
1-118-60263-3
1-118-60268-4 1-118-60269-2 1-299-18771-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. Formal models for distributed systems -- pt. 2. Verification techniques for distributed systems. |
| Record Nr. | UNINA-9910138864203321 |
| London, : ISTE | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Models and analysis in distributed systems [[electronic resource] /] / edited by Serge Haddad ... [et al.]
| Models and analysis in distributed systems [[electronic resource] /] / edited by Serge Haddad ... [et al.] |
| Pubbl/distr/stampa | London, : ISTE |
| Descrizione fisica | 1 online resource (358 p.) |
| Disciplina | 003.78 |
| Altri autori (Persone) | HaddadSerge |
| Collana | ISTE |
| Soggetto topico |
Distributed parameter systems - Simulation methods
System analysis |
| ISBN |
1-118-60263-3
1-118-60268-4 1-118-60269-2 1-299-18771-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. Formal models for distributed systems -- pt. 2. Verification techniques for distributed systems. |
| Record Nr. | UNINA-9910830154503321 |
| London, : ISTE | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Models and analysis in distributed systems / / edited by Serge Haddad ... [et al.]
| Models and analysis in distributed systems / / edited by Serge Haddad ... [et al.] |
| Pubbl/distr/stampa | London, : ISTE |
| Descrizione fisica | 1 online resource (358 p.) |
| Disciplina | 003.78 |
| Altri autori (Persone) | HaddadSerge |
| Collana | ISTE |
| Soggetto topico |
Distributed parameter systems - Simulation methods
System analysis |
| ISBN |
9781118602638
1118602633 9781118602683 1118602684 9781118602690 1118602692 9781299187719 1299187714 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. Formal models for distributed systems -- pt. 2. Verification techniques for distributed systems. |
| Record Nr. | UNINA-9911019449103321 |
| London, : ISTE | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
