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.
Software and systems safety [[electronic resource] ] : specification and verification / / edited by Manfred Broy, Christian Leuxner and Tony Hoare
| Software and systems safety [[electronic resource] ] : specification and verification / / edited by Manfred Broy, Christian Leuxner and Tony Hoare |
| Pubbl/distr/stampa | Amsterdam, The Netherlands, : IOS Press, 2011 |
| Descrizione fisica | 1 online resource (296 p.) |
| Disciplina | 005.10289 |
| Altri autori (Persone) |
BroyManfred
LeuxnerChristian HoareA. G |
| Collana | NATO science for peace and security series. Sub-series D, Information and communication security |
| Soggetto topico |
Software protection
Computer software - Reliability Software engineering Computer security System safety |
| Soggetto genere / forma | Electronic books. |
| ISBN |
6613289604
1-283-28960-1 9786613289605 1-60750-711-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title; Preface; Contents; Model-Based Testing; Towards a Theory of Architectural Contracts: Schemes and Patterns of Assumption/Promise Based System Specification; Engineering Evolving and Self-Adaptive Systems: An Overview; Formal Verification; Requirements Models for Critical Systems; From Concurrency Models to Numbers: Performance and Dependability; Unifying Models of Data Flow; Model-Based Verification and Analysis for Real-Time Systems; Model Checking; Subject Index; Author Index |
| Record Nr. | UNINA-9910457752903321 |
| Amsterdam, The Netherlands, : IOS Press, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software and systems safety [[electronic resource] ] : specification and verification / / edited by Manfred Broy, Christian Leuxner and Tony Hoare
| Software and systems safety [[electronic resource] ] : specification and verification / / edited by Manfred Broy, Christian Leuxner and Tony Hoare |
| Pubbl/distr/stampa | Amsterdam, The Netherlands, : IOS Press, 2011 |
| Descrizione fisica | 1 online resource (296 p.) |
| Disciplina | 005.10289 |
| Altri autori (Persone) |
BroyM. <1949->
LeuxnerChristian HoareC. A. R <1934-> (Charles Antony Richard) |
| Collana | NATO science for peace and security series. Sub-series D, Information and communication security |
| Soggetto topico |
Software protection
Computer software - Reliability Software engineering Computer security System safety |
| ISBN |
6613289604
1-283-28960-1 9786613289605 1-60750-711-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title; Preface; Contents; Model-Based Testing; Towards a Theory of Architectural Contracts: Schemes and Patterns of Assumption/Promise Based System Specification; Engineering Evolving and Self-Adaptive Systems: An Overview; Formal Verification; Requirements Models for Critical Systems; From Concurrency Models to Numbers: Performance and Dependability; Unifying Models of Data Flow; Model-Based Verification and Analysis for Real-Time Systems; Model Checking; Subject Index; Author Index |
| Record Nr. | UNINA-9910781757703321 |
| Amsterdam, The Netherlands, : IOS Press, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software and systems safety [[electronic resource] ] : specification and verification / / edited by Manfred Broy, Christian Leuxner and Tony Hoare
| Software and systems safety [[electronic resource] ] : specification and verification / / edited by Manfred Broy, Christian Leuxner and Tony Hoare |
| Pubbl/distr/stampa | Amsterdam, The Netherlands, : IOS Press, 2011 |
| Descrizione fisica | 1 online resource (296 p.) |
| Disciplina | 005.10289 |
| Altri autori (Persone) |
BroyM. <1949->
LeuxnerChristian HoareC. A. R <1934-> (Charles Antony Richard) |
| Collana | NATO science for peace and security series. Sub-series D, Information and communication security |
| Soggetto topico |
Software protection
Computer software - Reliability Software engineering Computer security System safety |
| ISBN |
6613289604
1-283-28960-1 9786613289605 1-60750-711-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title; Preface; Contents; Model-Based Testing; Towards a Theory of Architectural Contracts: Schemes and Patterns of Assumption/Promise Based System Specification; Engineering Evolving and Self-Adaptive Systems: An Overview; Formal Verification; Requirements Models for Critical Systems; From Concurrency Models to Numbers: Performance and Dependability; Unifying Models of Data Flow; Model-Based Verification and Analysis for Real-Time Systems; Model Checking; Subject Index; Author Index |
| Record Nr. | UNINA-9910813007503321 |
| Amsterdam, The Netherlands, : IOS Press, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||