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 Reliability Engineering, 5th International Symposium on (ISSRE '94
| Software Reliability Engineering, 5th International Symposium on (ISSRE '94 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1994 |
| Descrizione fisica | 1 online resource (368 pages) |
| Disciplina | 005 |
| Soggetto topico |
Computer software - Reliability
Computer systems - Reliability |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996198222203316 |
| [Place of publication not identified], : IEEE Computer Society Press, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Reliability Engineering, International Symposium on (ISSRE '93)
| Software Reliability Engineering, International Symposium on (ISSRE '93) |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1993 |
| Descrizione fisica | 1 online resource (352 pages) |
| Disciplina | 005 |
| Soggetto topico |
Computer software - Reliability
Reliability (Engineering) Software engineering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996206162903316 |
| [Place of publication not identified], : IEEE Computer Society Press, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software reliability models : theoretical developments, evaluation and applications / edited by Yashwant K. Malaiya, Pradip K. Srimani
| Software reliability models : theoretical developments, evaluation and applications / edited by Yashwant K. Malaiya, Pradip K. Srimani |
| Pubbl/distr/stampa | Los Alamitos (CA) [etc.], : IEEE computer society press, 1991 |
| Descrizione fisica | X, 122 p. : ill. ; 28 cm. |
| Disciplina | 005 |
| Collana | IEEE computer society press technology series |
| Soggetto topico | Programmi per elaboratori - Affidabilità |
| ISBN |
0818621109
0818691107 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0395011 |
| Los Alamitos (CA) [etc.], : IEEE computer society press, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Software reusability : tutorial / Peter Freeman
| Software reusability : tutorial / Peter Freeman |
| Autore | Freeman, Peter |
| Pubbl/distr/stampa | Massauchetts : Computer Society Press, ©1987 |
| Descrizione fisica | 297 p. : ill. ; 28 cm |
| Disciplina | 005 |
| Soggetto non controllato | Software - Riutilizzabile |
| ISBN | 0-8186-0750-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000494440403321 |
Freeman, Peter
|
||
| Massauchetts : Computer Society Press, ©1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software reusability / edited by Ted J. Biggerstaff, Alan J. Perlis
| Software reusability / edited by Ted J. Biggerstaff, Alan J. Perlis |
| Pubbl/distr/stampa | New York, : ACM press |
| Descrizione fisica | v. ; 25 cm. |
| Disciplina | 005 |
| Collana | ACM press frontier series |
| Soggetto topico | Programmi per elaboratori - Riutilizzo |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-UFI0152935 |
| New York, : ACM press | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Software reuse : guidelines and methods / James W. Hooper, Rowena O. Chester
| Software reuse : guidelines and methods / James W. Hooper, Rowena O. Chester |
| Autore | Hooper, James W. |
| Pubbl/distr/stampa | New York [etc.], : Plenum, c1991 |
| Descrizione fisica | XVI, 180 p. ; 24 cm |
| Disciplina | 005 |
| Altri autori (Persone) | Chester, Rowena O. |
| Collana | Software science and engineering |
| Soggetto topico | Programmi per elaboratori - Riutilizzo |
| ISBN | 0306439182 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-PUV0084550 |
|
Hooper, James W.
|
||
| New York [etc.], : Plenum, c1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Software reuse : emerging technology : tutorial / Will Tracz
| Software reuse : emerging technology : tutorial / Will Tracz |
| Autore | Tracz, Will |
| Pubbl/distr/stampa | New York : Computer Society, ©1988 |
| Descrizione fisica | 378 p. : ill. ; 28 cm |
| Disciplina | 005 |
| Soggetto non controllato | Software |
| ISBN | 0-8186-0846-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000494170403321 |
| Tracz, Will | ||
| New York : Computer Society, ©1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software safety and security [[electronic resource] ] : tools for analysis and verification / / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann
| Software safety and security [[electronic resource] ] : tools for analysis and verification / / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann |
| Pubbl/distr/stampa | Washington, D.C., : IOS Press, 2012 |
| Descrizione fisica | 1 online resource (400 p.) |
| Disciplina | 005 |
| Altri autori (Persone) |
NipkowTobias <1958->
GrumbergOrna HauptmannBenedikt |
| Collana | NATO science for peace and security series. Sub-series D, Information and communication security |
| Soggetto topico |
Computer software - Verification
Computer security |
| Soggetto genere / forma | Electronic books. |
| ISBN |
6613717215
1-280-87590-9 9786613717214 1-61499-028-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
SOFTWARE SAFETY AND SECURITY; Preface; Contents; Mechanizing Game-Based Proofs of Security Protocols; Formal Security Proofs; Model Checking: From BDDs to Interpolation; Interactive Proof: Applications to Semantics; Advances in Probabilistic Model Checking; Getting Started with Dafny: A Guide; Lecture Notes on Software Model Checking; Boolean Satisfiability Solvers: Techniques and Extensions; Interactive Proof: Introduction to Isabelle/HOL; A Primer on Separation Logic (and Automatic Program Verification and Analysis); A Perspective on Information-Flow Control
Precise Program Analysis through Strategy Iteration and OptimizationSubject Index; Author Index |
| Record Nr. | UNINA-9910462437503321 |
| Washington, D.C., : IOS Press, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software safety and security [[electronic resource] ] : tools for analysis and verification / / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann
| Software safety and security [[electronic resource] ] : tools for analysis and verification / / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann |
| Pubbl/distr/stampa | Washington, D.C., : IOS Press, 2012 |
| Descrizione fisica | 1 online resource (400 p.) |
| Disciplina | 005 |
| Altri autori (Persone) |
NipkowTobias <1958->
GrumbergOrna HauptmannBenedikt |
| Collana | NATO science for peace and security series. Sub-series D, Information and communication security |
| Soggetto topico |
Computer software - Verification
Computer security |
| ISBN |
6613717215
1-280-87590-9 9786613717214 1-61499-028-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
SOFTWARE SAFETY AND SECURITY; Preface; Contents; Mechanizing Game-Based Proofs of Security Protocols; Formal Security Proofs; Model Checking: From BDDs to Interpolation; Interactive Proof: Applications to Semantics; Advances in Probabilistic Model Checking; Getting Started with Dafny: A Guide; Lecture Notes on Software Model Checking; Boolean Satisfiability Solvers: Techniques and Extensions; Interactive Proof: Introduction to Isabelle/HOL; A Primer on Separation Logic (and Automatic Program Verification and Analysis); A Perspective on Information-Flow Control
Precise Program Analysis through Strategy Iteration and OptimizationSubject Index; Author Index |
| Record Nr. | UNINA-9910790497903321 |
| Washington, D.C., : IOS Press, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software safety and security [[electronic resource] ] : tools for analysis and verification / / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann
| Software safety and security [[electronic resource] ] : tools for analysis and verification / / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann |
| Pubbl/distr/stampa | Washington, D.C., : IOS Press, 2012 |
| Descrizione fisica | 1 online resource (400 p.) |
| Disciplina | 005 |
| Altri autori (Persone) |
NipkowTobias <1958->
GrumbergOrna HauptmannBenedikt |
| Collana | NATO science for peace and security series. Sub-series D, Information and communication security |
| Soggetto topico |
Computer software - Verification
Computer security |
| ISBN |
6613717215
1-280-87590-9 9786613717214 1-61499-028-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
SOFTWARE SAFETY AND SECURITY; Preface; Contents; Mechanizing Game-Based Proofs of Security Protocols; Formal Security Proofs; Model Checking: From BDDs to Interpolation; Interactive Proof: Applications to Semantics; Advances in Probabilistic Model Checking; Getting Started with Dafny: A Guide; Lecture Notes on Software Model Checking; Boolean Satisfiability Solvers: Techniques and Extensions; Interactive Proof: Introduction to Isabelle/HOL; A Primer on Separation Logic (and Automatic Program Verification and Analysis); A Perspective on Information-Flow Control
Precise Program Analysis through Strategy Iteration and OptimizationSubject Index; Author Index |
| Record Nr. | UNINA-9910818884203321 |
| Washington, D.C., : IOS Press, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
