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.
Modeling and Verification of Parallel Processes [[electronic resource] ] : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures / / edited by Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan
| Modeling and Verification of Parallel Processes [[electronic resource] ] : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures / / edited by Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (X, 234 p.) |
| Disciplina | 004/.358 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computers Software Engineering Theory of Computation |
| ISBN | 3-540-45510-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tutorials and Papers -- Model Checking: A Tutorial Overview -- Theorem Proving for Verification -- Composition and Abstraction -- UPPAAL - Now, Next, and Future -- HMSCs as Partial Specifications...with PNs as Completions -- Industrial Applications of Model Checking -- Formal Methods in Practice: The Missing Links. A Perspective from the Security Area -- Annotated Bibliographies -- Verification of Systems with an Infinite State Space -- Testing Transition Systems: An Annotated Bibliography -- Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography -- Mobile Processes: A Commented Bibliography. |
| Record Nr. | UNISA-996465885303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures / / edited by Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan
| Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures / / edited by Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (X, 234 p.) |
| Disciplina | 004/.358 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computers Software Engineering Theory of Computation |
| ISBN | 3-540-45510-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tutorials and Papers -- Model Checking: A Tutorial Overview -- Theorem Proving for Verification -- Composition and Abstraction -- UPPAAL - Now, Next, and Future -- HMSCs as Partial Specifications...with PNs as Completions -- Industrial Applications of Model Checking -- Formal Methods in Practice: The Missing Links. A Perspective from the Security Area -- Annotated Bibliographies -- Verification of Systems with an Infinite State Space -- Testing Transition Systems: An Annotated Bibliography -- Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography -- Mobile Processes: A Commented Bibliography. |
| Record Nr. | UNINA-9910143601403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Third International Symposium on High-Performance Computer Architecture : proceedings, February 1-5, 1997, San Antonio, Texas
| Third International Symposium on High-Performance Computer Architecture : proceedings, February 1-5, 1997, San Antonio, Texas |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1997 |
| Disciplina | 004/.358 |
| Soggetto topico |
Computer architecture - Congresses
High performance computing - Congresses Engineering & Applied Sciences Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996204868303316 |
| [Place of publication not identified], : IEEE Computer Society Press, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Third International Symposium on High-Performance Computer Architecture : proceedings, February 1-5, 1997, San Antonio, Texas
| Third International Symposium on High-Performance Computer Architecture : proceedings, February 1-5, 1997, San Antonio, Texas |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1997 |
| Disciplina | 004/.358 |
| Soggetto topico |
Computer architecture - Congresses
High performance computing - Congresses Engineering & Applied Sciences Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910872624703321 |
| [Place of publication not identified], : IEEE Computer Society Press, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||