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.
Elements of distributed algorithms : modeling and analysis with Petri nets / / Wolfgang Reisig
| Elements of distributed algorithms : modeling and analysis with Petri nets / / Wolfgang Reisig |
| Autore | Reisig Wolfgang <1950-> |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Berlin, [Germany] ; ; Heidelberg, [Germany] : , : Springer, , 1998 |
| Descrizione fisica | 1 online resource (XII, 302 p.) |
| Disciplina | 004.0151 |
| Soggetto topico |
Electronic data processing - Distributed processing
Computer algorithms Petri nets |
| Soggetto genere / forma | Electronic books. |
| ISBN | 3-662-03687-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | I. Elementary Concepts -- II. Case Studies -- III. Advanced Concepts -- IV. Case Studies -- V. Case Studies Continued: Acknowledged Messages -- VI. Case Studies Continued: Network Algorithms -- VII. State Properties of Elementary System Nets -- VIII. Interleaved Progress of Elementary System Nets -- IX. Concurrent Progress of Elementary System Nets -- X. State Properties of System Nets -- XI. Interleaved Progress of System Nets -- XII. Concurrent Progress of System Nets -- XIII. Formal Analysis of Case Studies -- References. |
| Record Nr. | UNINA-9910480546603321 |
Reisig Wolfgang <1950->
|
||
| Berlin, [Germany] ; ; Heidelberg, [Germany] : , : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Elements of distributed algorithms : modeling and analysis with Petri nets / / Wolfgang Reisig
| Elements of distributed algorithms : modeling and analysis with Petri nets / / Wolfgang Reisig |
| Autore | Reisig Wolfgang <1950-> |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Berlin, [Germany] ; ; Heidelberg, [Germany] : , : Springer, , 1998 |
| Descrizione fisica | 1 online resource (XII, 302 p.) |
| Disciplina | 004.0151 |
| Soggetto topico |
Electronic data processing - Distributed processing
Computer algorithms Petri nets |
| ISBN | 3-662-03687-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | I. Elementary Concepts -- II. Case Studies -- III. Advanced Concepts -- IV. Case Studies -- V. Case Studies Continued: Acknowledged Messages -- VI. Case Studies Continued: Network Algorithms -- VII. State Properties of Elementary System Nets -- VIII. Interleaved Progress of Elementary System Nets -- IX. Concurrent Progress of Elementary System Nets -- X. State Properties of System Nets -- XI. Interleaved Progress of System Nets -- XII. Concurrent Progress of System Nets -- XIII. Formal Analysis of Case Studies -- References. |
| Record Nr. | UNINA-9910792488803321 |
|
Reisig Wolfgang <1950->
|
||
| Berlin, [Germany] ; ; Heidelberg, [Germany] : , : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Elements of distributed algorithms : modeling and analysis with Petri nets / / Wolfgang Reisig
| Elements of distributed algorithms : modeling and analysis with Petri nets / / Wolfgang Reisig |
| Autore | Reisig Wolfgang <1950-> |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Berlin, [Germany] ; ; Heidelberg, [Germany] : , : Springer, , 1998 |
| Descrizione fisica | 1 online resource (XII, 302 p.) |
| Disciplina | 004.0151 |
| Soggetto topico |
Electronic data processing - Distributed processing
Computer algorithms Petri nets |
| ISBN | 3-662-03687-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | I. Elementary Concepts -- II. Case Studies -- III. Advanced Concepts -- IV. Case Studies -- V. Case Studies Continued: Acknowledged Messages -- VI. Case Studies Continued: Network Algorithms -- VII. State Properties of Elementary System Nets -- VIII. Interleaved Progress of Elementary System Nets -- IX. Concurrent Progress of Elementary System Nets -- X. State Properties of System Nets -- XI. Interleaved Progress of System Nets -- XII. Concurrent Progress of System Nets -- XIII. Formal Analysis of Case Studies -- References. |
| Record Nr. | UNINA-9910817418003321 |
|
Reisig Wolfgang <1950->
|
||
| Berlin, [Germany] ; ; Heidelberg, [Germany] : , : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Elements of Distributed Algorithms : Modeling and Analysis with Petri Nets / / by Wolfgang Reisig
| Elements of Distributed Algorithms : Modeling and Analysis with Petri Nets / / by Wolfgang Reisig |
| Autore | Reisig Wolfgang <1950-> |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (XII, 302 p.) |
| Disciplina | 004.0151 |
| Soggetto topico |
Computer science
Software engineering Mathematical models Computer programming Algorithms Theory of Computation Software Engineering Mathematical Modeling and Industrial Mathematics Programming Techniques |
| ISBN | 3-662-03687-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | I. Elementary Concepts -- II. Case Studies -- III. Advanced Concepts -- IV. Case Studies -- V. Case Studies Continued: Acknowledged Messages -- VI. Case Studies Continued: Network Algorithms -- VII. State Properties of Elementary System Nets -- VIII. Interleaved Progress of Elementary System Nets -- IX. Concurrent Progress of Elementary System Nets -- X. State Properties of System Nets -- XI. Interleaved Progress of System Nets -- XII. Concurrent Progress of System Nets -- XIII. Formal Analysis of Case Studies -- References. |
| Record Nr. | UNINA-9910973788803321 |
|
Reisig Wolfgang <1950->
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||