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.
Formal Methods for Performance Evaluation [[electronic resource] ] : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures / / edited by Marco Bernardo, Jane Hillston
| Formal Methods for Performance Evaluation [[electronic resource] ] : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures / / edited by Marco Bernardo, Jane Hillston |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (474 p.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computers
Software engineering Programming languages (Electronic computers) Computer logic Special purpose computers Computer communication systems Theory of Computation Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Special Purpose and Application-Based Systems Computer Communication Networks |
| ISBN |
1-280-94073-5
9786610940738 3-540-72522-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Performance Modelling and Markov Chains -- Queueing Networks -- to Generalized Stochastic Petri Nets -- Stochastic Process Algebras -- A Survey of Markovian Behavioral Equivalences -- Stochastic Model Checking -- Fluid Models in Performance Analysis -- Tackling Large State Spaces in Performance Modelling -- Data Representation and Efficient Solution: A Decision Diagram Approach -- to Software Performance Engineering: Origins and Outstanding Problems -- From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms. |
| Record Nr. | UNISA-996466271203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods for Performance Evaluation : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures / / edited by Marco Bernardo, Jane Hillston
| Formal Methods for Performance Evaluation : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures / / edited by Marco Bernardo, Jane Hillston |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (474 p.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computers
Software engineering Programming languages (Electronic computers) Computer logic Special purpose computers Computer communication systems Theory of Computation Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Special Purpose and Application-Based Systems Computer Communication Networks |
| ISBN |
1-280-94073-5
9786610940738 3-540-72522-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Performance Modelling and Markov Chains -- Queueing Networks -- to Generalized Stochastic Petri Nets -- Stochastic Process Algebras -- A Survey of Markovian Behavioral Equivalences -- Stochastic Model Checking -- Fluid Models in Performance Analysis -- Tackling Large State Spaces in Performance Modelling -- Data Representation and Efficient Solution: A Decision Diagram Approach -- to Software Performance Engineering: Origins and Outstanding Problems -- From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms. |
| Record Nr. | UNINA-9910483578303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems [[electronic resource] ] : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures / / edited by Marco Bernardo, Rocco De Nicola, Jane Hillston
| Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems [[electronic resource] ] : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures / / edited by Marco Bernardo, Rocco De Nicola, Jane Hillston |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (VII, 261 p. 67 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Mathematical statistics Mathematical logic Application software Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Probability and Statistics in Computer Science Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) |
| ISBN | 3-319-34096-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems -- Dependability of Adaptable and Evolvable Distributed Systems -- Mean-Field Limits Beyond Ordinary Differential Equations -- Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools -- Spatial Representations and Analysis Techniques -- Spatial Logic and Spatial Model Checking for Closure Spaces -- Quantitative Abstractions for Collective Adaptive Systems -- Aggregate Programming: From Foundations to Applications. . |
| Record Nr. | UNISA-996465700703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures / / edited by Marco Bernardo, Rocco De Nicola, Jane Hillston
| Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures / / edited by Marco Bernardo, Rocco De Nicola, Jane Hillston |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (VII, 261 p. 67 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Mathematical statistics Mathematical logic Application software Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Probability and Statistics in Computer Science Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) |
| ISBN | 3-319-34096-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems -- Dependability of Adaptable and Evolvable Distributed Systems -- Mean-Field Limits Beyond Ordinary Differential Equations -- Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools -- Spatial Representations and Analysis Techniques -- Spatial Logic and Spatial Model Checking for Closure Spaces -- Quantitative Abstractions for Collective Adaptive Systems -- Aggregate Programming: From Foundations to Applications. . |
| Record Nr. | UNINA-9910484620903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||