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.
Applications logicielles certifiables . 3 Cycle descendant / / Jean-Louis Boulanger
| Applications logicielles certifiables . 3 Cycle descendant / / Jean-Louis Boulanger |
| Autore | Boulanger Jean-Louis |
| Pubbl/distr/stampa | London, England : , : ISTE Editions, , [2018] |
| Descrizione fisica | 1 online resource (345 pages) |
| Disciplina | 005.1 |
| Collana | Collection informatique |
| Soggetto topico | Computer software - Development |
| ISBN | 1-78406-515-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Nota di contenuto | Cover -- Table of Contents -- Introduction -- Chapitre 01. Réalisation d'une application logicielle -- Chapitre 02. Gestion des exigences -- Chapitre 03. Structure documentaire -- Chapitre 04. Spécification des exigences -- Chapitre 05. Modélisation -- Chapitre 06. Formalisation -- Chapitre 07. Vérification de la phase de spécification d'une application logicielle -- Chapitre 08. Composant versus module -- Chapitre 09. Architecture d'une application logicielle -- Chapitre 10. Vérification de l'architecture logicielle -- Chapitre 11. Conception de l'application logicielle -- Chapitre 12. Vérification de la phase de conception -- Chapitre 13. Codage de l'application logicielle -- Chapitre 14. Règles de programmation -- Chapitre 15. Vérification du codage -- Chapitre 16. Fiche de version -- Conclusion -- Glossaire -- Bibliographie -- Index -- Sommaires des autres volumes. |
| Record Nr. | UNINA-9910794430603321 |
Boulanger Jean-Louis
|
||
| London, England : , : ISTE Editions, , [2018] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applications logicielles certifiables . 3 Cycle descendant / / Jean-Louis Boulanger
| Applications logicielles certifiables . 3 Cycle descendant / / Jean-Louis Boulanger |
| Autore | Boulanger Jean-Louis |
| Pubbl/distr/stampa | London, England : , : ISTE Editions, , [2018] |
| Descrizione fisica | 1 online resource (345 pages) |
| Disciplina | 005.1 |
| Collana | Collection informatique |
| Soggetto topico | Computer software - Development |
| ISBN | 1-78406-515-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Nota di contenuto | Cover -- Table of Contents -- Introduction -- Chapitre 01. Réalisation d'une application logicielle -- Chapitre 02. Gestion des exigences -- Chapitre 03. Structure documentaire -- Chapitre 04. Spécification des exigences -- Chapitre 05. Modélisation -- Chapitre 06. Formalisation -- Chapitre 07. Vérification de la phase de spécification d'une application logicielle -- Chapitre 08. Composant versus module -- Chapitre 09. Architecture d'une application logicielle -- Chapitre 10. Vérification de l'architecture logicielle -- Chapitre 11. Conception de l'application logicielle -- Chapitre 12. Vérification de la phase de conception -- Chapitre 13. Codage de l'application logicielle -- Chapitre 14. Règles de programmation -- Chapitre 15. Vérification du codage -- Chapitre 16. Fiche de version -- Conclusion -- Glossaire -- Bibliographie -- Index -- Sommaires des autres volumes. |
| Record Nr. | UNINA-9910810572803321 |
|
Boulanger Jean-Louis
|
||
| London, England : , : ISTE Editions, , [2018] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applications Logicielles Certifiables 3
| Applications Logicielles Certifiables 3 |
| Autore | Boulanger Jean-Louis |
| Pubbl/distr/stampa | London : , : ISTE Editions Ltd., , 2018 |
| Descrizione fisica | 1 online resource (345 pages) |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-78406-515-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Nota di contenuto | Cover -- Table of Contents -- Introduction -- Chapitre 01. Réalisation d'une application logicielle -- Chapitre 02. Gestion des exigences -- Chapitre 03. Structure documentaire -- Chapitre 04. Spécification des exigences -- Chapitre 05. Modélisation -- Chapitre 06. Formalisation -- Chapitre 07. Vérification de la phase de spécification d'une application logicielle -- Chapitre 08. Composant versus module -- Chapitre 09. Architecture d'une application logicielle -- Chapitre 10. Vérification de l'architecture logicielle -- Chapitre 11. Conception de l'application logicielle -- Chapitre 12. Vérification de la phase de conception -- Chapitre 13. Codage de l'application logicielle -- Chapitre 14. Règles de programmation -- Chapitre 15. Vérification du codage -- Chapitre 16. Fiche de version -- Conclusion -- Glossaire -- Bibliographie -- Index -- Sommaires des autres volumes. |
| Record Nr. | UNINA-9910494618603321 |
|
Boulanger Jean-Louis
|
||
| London : , : ISTE Editions Ltd., , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CENELEC 50128 and IEC 62279 standards / / Jean-Louis Boulanger
| CENELEC 50128 and IEC 62279 standards / / Jean-Louis Boulanger |
| Autore | Boulanger Jean-Louis |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : iSTE/Wiley, , 2015 |
| Descrizione fisica | 1 online resource (380 p.) |
| Disciplina | 625.16 |
| Collana | Control, systems and industrial engineering series |
| Soggetto topico |
Electric cables - Standards
Electric wiring - Standards |
| ISBN | 1-119-00505-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Title Page; Copyright ; Contents; Introduction; I.1. Objective; I.2. Reminder; I.3. Overview; 1: From the System to the Software; 1.1. Introduction; 1.2. Command/control system; 1.3. System; 1.4. Software application; 1.4.1. What is software?; 1.4.2. Different types of software; 1.4.3. The software application in its proper context; 1.5. Conclusion; 2: Railway Standards; 2.1. Introduction; 2.2. Generic standards; 2.2.1. Introduction; 2.2.2. Safety levels; 2.3. History between CENELEC and the IEC; 2.4. CENELEC referential framework; 2.4.1. Introduction; 2.4.2. Description
2.4.3. Implementation2.4.4. Software safety; 2.4.5. Safety versus availability; 2.5. EN 50155 standard; 2.6. CENELEC 50128; 2.6.1. Introduction; 2.6.2. SSIL management; 2.6.2.1. SSIL attribution; 2.6.2.2. Choice of SSIL; 2.6.3. Comparison of 2001 and 2011 versions; 2.6.3.1. CENELEC 50128:2001; 2.6.3.2. EN 50128:2011; 2.7. Conclusion; 3: Risk and Safety Integrity Level; 3.1. Introduction; 3.2. Basic definitions; 3.3. Safety enforcement; 3.3.1. What is safety?; 3.3.2. Safety management; 3.3.3. Safety integrity; 3.3.4. Determination of the SIL; 3.3.5. SIL table; 3.3.6. Allocation of SILs 3.3.7. SIL management3.3.8. Software SIL; 3.3.9. Iterative process; 3.3.10. Identification of safety requirements; 3.4. In IEC 61508 and IEC 61511; 3.4.1. Risk graph; 3.4.2. LOPA; 3.4.3. Overview; 3.5. Conclusion; 4: Software Assurance; 4.1. Introduction; 4.2. Prerequisites; 4.3. Quality assurance; 4.3.1. Introduction; 4.3.2. Quality assurance management; 4.3.2.1. Prescriptions of standard in force; 4.3.2.2. ISO 9001:2008; 4.3.2.3. Indicator; 4.3.3. Realization of a software application; 4.3.4. Software quality assurance plan (SQAP); 4.4. Organization; 4.4.1. Typical organization 4.4.2. Skill management4.5. Configuration management; 4.6. Safety assurance management; 4.7. Verification and validation; 4.7.1. Introduction; 4.7.2. Verification; 4.7.2.1. Presentation; 4.7.2.2. Activity of verification; 4.7.2.3. Static analysis; 4.7.2.4. Dynamic analysis; 4.7.2.4.1. Test strategy; 4.7.2.4.2. Coverage of tests; 4.7.2.5. Summary; 4.7.3. Validation; 4.8. Independent assessment; 4.9. Tool qualification; 4.10. Conclusion; 4.11. Appendix A: list of quality documents to be produced; 4.12. Appendix B: structure of a software quality assurance plan; 5: Requirements Management 5.1. Introduction5.2. Requirements acquisition phase; 5.2.1. Introduction; 5.2.2. Requirements elicitation; 5.2.2.1. Introduction; 5.2.2.2. Identification of stakeholders; 5.2.2.3. Identification of sources; 5.2.3. Process of analysis and documentation; 5.2.3.1. Subdivision of the process; 5.2.3.2. Requirements analysis phase; 5.2.3.2.1. Objectives; 5.2.3.2.2. Elicitation techniques; 5.2.3.2.3. Interview techniques; 5.2.3.2.4. Prototyping and simulation techniques; 5.2.3.3. Description production phase; 5.2.4. Verification and validation of the requirements; 5.2.4.1. Introduction 5.2.4.2. Verification |
| Record Nr. | UNINA-9910131321303321 |
|
Boulanger Jean-Louis
|
||
| Hoboken, New Jersey : , : iSTE/Wiley, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CENELEC 50128 and IEC 62279 standards / / Jean-Louis Boulanger
| CENELEC 50128 and IEC 62279 standards / / Jean-Louis Boulanger |
| Autore | Boulanger Jean-Louis |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : iSTE/Wiley, , 2015 |
| Descrizione fisica | 1 online resource (380 p.) |
| Disciplina | 625.16 |
| Collana | Control, systems and industrial engineering series |
| Soggetto topico |
Electric cables - Standards
Electric wiring - Standards |
| ISBN | 1-119-00505-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Title Page; Copyright ; Contents; Introduction; I.1. Objective; I.2. Reminder; I.3. Overview; 1: From the System to the Software; 1.1. Introduction; 1.2. Command/control system; 1.3. System; 1.4. Software application; 1.4.1. What is software?; 1.4.2. Different types of software; 1.4.3. The software application in its proper context; 1.5. Conclusion; 2: Railway Standards; 2.1. Introduction; 2.2. Generic standards; 2.2.1. Introduction; 2.2.2. Safety levels; 2.3. History between CENELEC and the IEC; 2.4. CENELEC referential framework; 2.4.1. Introduction; 2.4.2. Description
2.4.3. Implementation2.4.4. Software safety; 2.4.5. Safety versus availability; 2.5. EN 50155 standard; 2.6. CENELEC 50128; 2.6.1. Introduction; 2.6.2. SSIL management; 2.6.2.1. SSIL attribution; 2.6.2.2. Choice of SSIL; 2.6.3. Comparison of 2001 and 2011 versions; 2.6.3.1. CENELEC 50128:2001; 2.6.3.2. EN 50128:2011; 2.7. Conclusion; 3: Risk and Safety Integrity Level; 3.1. Introduction; 3.2. Basic definitions; 3.3. Safety enforcement; 3.3.1. What is safety?; 3.3.2. Safety management; 3.3.3. Safety integrity; 3.3.4. Determination of the SIL; 3.3.5. SIL table; 3.3.6. Allocation of SILs 3.3.7. SIL management3.3.8. Software SIL; 3.3.9. Iterative process; 3.3.10. Identification of safety requirements; 3.4. In IEC 61508 and IEC 61511; 3.4.1. Risk graph; 3.4.2. LOPA; 3.4.3. Overview; 3.5. Conclusion; 4: Software Assurance; 4.1. Introduction; 4.2. Prerequisites; 4.3. Quality assurance; 4.3.1. Introduction; 4.3.2. Quality assurance management; 4.3.2.1. Prescriptions of standard in force; 4.3.2.2. ISO 9001:2008; 4.3.2.3. Indicator; 4.3.3. Realization of a software application; 4.3.4. Software quality assurance plan (SQAP); 4.4. Organization; 4.4.1. Typical organization 4.4.2. Skill management4.5. Configuration management; 4.6. Safety assurance management; 4.7. Verification and validation; 4.7.1. Introduction; 4.7.2. Verification; 4.7.2.1. Presentation; 4.7.2.2. Activity of verification; 4.7.2.3. Static analysis; 4.7.2.4. Dynamic analysis; 4.7.2.4.1. Test strategy; 4.7.2.4.2. Coverage of tests; 4.7.2.5. Summary; 4.7.3. Validation; 4.8. Independent assessment; 4.9. Tool qualification; 4.10. Conclusion; 4.11. Appendix A: list of quality documents to be produced; 4.12. Appendix B: structure of a software quality assurance plan; 5: Requirements Management 5.1. Introduction5.2. Requirements acquisition phase; 5.2.1. Introduction; 5.2.2. Requirements elicitation; 5.2.2.1. Introduction; 5.2.2.2. Identification of stakeholders; 5.2.2.3. Identification of sources; 5.2.3. Process of analysis and documentation; 5.2.3.1. Subdivision of the process; 5.2.3.2. Requirements analysis phase; 5.2.3.2.1. Objectives; 5.2.3.2.2. Elicitation techniques; 5.2.3.2.3. Interview techniques; 5.2.3.2.4. Prototyping and simulation techniques; 5.2.3.3. Description production phase; 5.2.4. Verification and validation of the requirements; 5.2.4.1. Introduction 5.2.4.2. Verification |
| Record Nr. | UNINA-9910827784803321 |
|
Boulanger Jean-Louis
|
||
| Hoboken, New Jersey : , : iSTE/Wiley, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Certifiable software applications . 3 Downward cycle / / Jean-Louis Boulanger
| Certifiable software applications . 3 Downward cycle / / Jean-Louis Boulanger |
| Autore | Boulanger Jean-Louis |
| Pubbl/distr/stampa | London, England : , : ISTE Press |
| Descrizione fisica | 1 online resource (358 pages) |
| Disciplina | 005.1 |
| Soggetto topico |
Application software - Development
Software engineering |
| ISBN |
0-08-101163-6
1-78548-119-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro; Title page; Table of Contents; Dedication; Copyright; Introduction; Reader's guide; Acknowledgments; 1: Realization of a Software Application; Abstract; 1.1 Introduction; 1.2 Implementation process; 1.3 Quality control; 1.4 Conclusion; 2: Requirements Management; Abstract; 2.1 Introduction; 2.2 Three key concepts; 2.3 Process; 2.4 Conclusion; 3: Documentation Structure; Abstract; 3.1 Introduction; 3.2 Documentation; 3.3 Quality control; 3.4 Implementation process; 3.5 Configuration management; 3.6 Defect and non-conformity management; 3.7 Conclusion
4: Requirements Specification of a Software ApplicationAbstract; 4.1 Introduction; 4.2 Requirements management; 4.3 Specification know-how; 4.4 Quality characteristics of a software product; 4.5 Objectives of the software requirements specification phase; 4.6 Risk assessment; 4.7 System requirements specification document: SwRS; 4.8 Specifications formalization; 4.9 Considering COTS and reused components; 4.10 Specification verification; 4.11 Conclusion; 4.12 Appendix: SwRS template; 5: Modeling; Abstract; 5.1 Introduction; 5.2 Modeling; 5.3 Model transformation; 5.4 Model refinement 5.5 Methods5.6 Conclusion; 6: Formalization; Abstract; 6.1 Introduction; 6.2 Approach example; 6.3 Model verification; 6.4 Setting up of formal methods; 6.5 Implementation of formal methods; 6.6 Software application maintenance; 6.7 Conclusion; 7: Software Specification Verification Stage; Abstract; 7.1 Introduction; 7.2 Verification; 7.3 Conclusion; 8: Component Versus Module; Abstract; 8.1 Introduction; 8.2 Reusability, maintainability and continuity of service; 8.3 Module and component; 8.4 Conclusion; 9: Software Application Architecture; Abstract; 9.1 Introduction 9.2 Objective of the architecture phase of a software application9.3 Software architect; 9.4 Software architecture description document; 9.5 Verification of the software application architecture; 9.6 Consideration of COTS and reused components; 9.7 Model approach; 9.8 Conclusion; 10: Software Application Architecture Verification; Abstract; 10.1 Introduction; 10.2 Verification; 10.3 Conclusion; 11: Software Application Design; Abstract; 11.1 Introduction; 11.2 Component; 11.3 Purpose of the design phase; 11.4 Designer; 11.5 Software component specification document 11.6 Software component specification document11.7 Design verification; 11.8 Consideration of COTS and reused components; 11.9 Conclusion; 12: Software Application Component Design Phase Verification; Abstract; 12.1 Introduction; 12.2 Verification; 12.3 Conclusion; 13: Software Application Coding; Abstract; 13.1 Introduction; 13.2 Coding phase objective; 13.3 IMPlementer; 13.4 Code production; 13.5 Principles to be implemented in the context of the coding phase; 13.6 The choice of design language; 13.7 Consideration of COTS and reused components; 13.8 Coding phase verification |
| Record Nr. | UNINA-9910583401203321 |
|
Boulanger Jean-Louis
|
||
| London, England : , : ISTE Press | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Certifiable software applications . 2 Support processes / / Jean-Louis Boulanger
| Certifiable software applications . 2 Support processes / / Jean-Louis Boulanger |
| Autore | Boulanger Jean-Louis |
| Pubbl/distr/stampa | London : , : ISTE Press Limited, , 2017 |
| Descrizione fisica | 1 online resource (284 pages) : illustrations |
| Soggetto topico | Application software - Development |
| ISBN | 0-08-101164-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910583022103321 |
|
Boulanger Jean-Louis
|
||
| London : , : ISTE Press Limited, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Safety management for software-based equipment [[electronic resource] /] / Jean-Louis Boulanger
| Safety management for software-based equipment [[electronic resource] /] / Jean-Louis Boulanger |
| Autore | Boulanger Jean-Louis |
| Pubbl/distr/stampa | Hoboken, N.J., : ISTE Ltd./John Wiley and Sons Inc., 2013 |
| Descrizione fisica | 1 online resource (193 p.) |
| Disciplina | 621.392 |
| Collana | Focus series in computer engineering and IT |
| Soggetto topico | Computer security |
| ISBN |
1-118-57861-9
1-118-57991-7 1-118-57865-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
CONTENTS; INTRODUCTION; CHAPTER 1. SAFETY MANAGEMENT; 1.1.Introduction; 1.2.Dependability; 1.3.Conclusion; 1.4.Bibliography; CHAPTER 2. FROM SYSTEM TO SOFTWARE; 2.1.Introduction; 2.2 Systems of command and control; 2.3 System; 2.4 Software implementation; 2.5.Conclusion; 2.6.Bibliography; 2.7.Glossary; CHAPTER 3. CERTIFIABLE SYSTEMS; 3.1. Introduction; 3.2. Normative context; 3.3.Conclusion; 3.4.Bibliography; 3.5.Glossary; CHAPTER 4. RISK AND SAFETY LEVELS; 4.1. Introduction; 4.2. Basic definitions; 4.3.Safety implementation; 4.4. In standards IEC 61508 and IEC 61511; 4.5.Conclusions
4.6.Bibliography4.7.Acronyms; CHAPTER 5. PRINCIPLES OF HARDWARE SAFETY; 5.1. Introduction; 5.2 Safe and/or available hardware; 5.3.Reset of a processing unit; 5.4. Presentation of safety control techniques; 5.5. Conclusion; 5.6.Bibliography; 5.7.Glossary; CHAPTER 6. PRINCIPLES OF SOFTWARE SAFETY; 6.1. Introduction; 6.2. Techniques to make software application safe; 6.3.Other forms of diversification; 6.4.Overall summary; 6.5.Quality management; 6.6.Conclusion; 6.7.Bibliography; 6.8.Glossary; CHAPTER 7. CERTIFICATION; 7.1. Introduction; 7.2. Independent assessment; 7.3. Certification 7.4. Certification in the rail sector7.5.Automatic systems; 7.6.Aircraft; 7.7. Nuclear; 7.8. Automotive; 7.9. Spacecraft; 7.10.Safety case; 7.11. Conclusion; 7.12. Bibliography; 7.13. Glossary; CONCLUSION; INDEX |
| Record Nr. | UNINA-9910141563803321 |
|
Boulanger Jean-Louis
|
||
| Hoboken, N.J., : ISTE Ltd./John Wiley and Sons Inc., 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Safety management for software-based equipment / / Jean-Louis Boulanger
| Safety management for software-based equipment / / Jean-Louis Boulanger |
| Autore | Boulanger Jean-Louis |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Hoboken, N.J., : ISTE Ltd./John Wiley and Sons Inc., 2013 |
| Descrizione fisica | 1 online resource (193 p.) |
| Disciplina | 621.392 |
| Collana | Focus series in computer engineering and IT |
| Soggetto topico | Computer security |
| ISBN |
1-118-57861-9
1-118-57991-7 1-118-57865-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
CONTENTS; INTRODUCTION; CHAPTER 1. SAFETY MANAGEMENT; 1.1.Introduction; 1.2.Dependability; 1.3.Conclusion; 1.4.Bibliography; CHAPTER 2. FROM SYSTEM TO SOFTWARE; 2.1.Introduction; 2.2 Systems of command and control; 2.3 System; 2.4 Software implementation; 2.5.Conclusion; 2.6.Bibliography; 2.7.Glossary; CHAPTER 3. CERTIFIABLE SYSTEMS; 3.1. Introduction; 3.2. Normative context; 3.3.Conclusion; 3.4.Bibliography; 3.5.Glossary; CHAPTER 4. RISK AND SAFETY LEVELS; 4.1. Introduction; 4.2. Basic definitions; 4.3.Safety implementation; 4.4. In standards IEC 61508 and IEC 61511; 4.5.Conclusions
4.6.Bibliography4.7.Acronyms; CHAPTER 5. PRINCIPLES OF HARDWARE SAFETY; 5.1. Introduction; 5.2 Safe and/or available hardware; 5.3.Reset of a processing unit; 5.4. Presentation of safety control techniques; 5.5. Conclusion; 5.6.Bibliography; 5.7.Glossary; CHAPTER 6. PRINCIPLES OF SOFTWARE SAFETY; 6.1. Introduction; 6.2. Techniques to make software application safe; 6.3.Other forms of diversification; 6.4.Overall summary; 6.5.Quality management; 6.6.Conclusion; 6.7.Bibliography; 6.8.Glossary; CHAPTER 7. CERTIFICATION; 7.1. Introduction; 7.2. Independent assessment; 7.3. Certification 7.4. Certification in the rail sector7.5.Automatic systems; 7.6.Aircraft; 7.7. Nuclear; 7.8. Automotive; 7.9. Spacecraft; 7.10.Safety case; 7.11. Conclusion; 7.12. Bibliography; 7.13. Glossary; CONCLUSION; INDEX |
| Record Nr. | UNINA-9910825784103321 |
|
Boulanger Jean-Louis
|
||
| Hoboken, N.J., : ISTE Ltd./John Wiley and Sons Inc., 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||