Idioma: Inglés
Publicado por Engineering Science Reference, 2011
ISBN 10: 1609607473 ISBN 13: 9781609607470
Librería: Basi6 International, Irving, TX, Estados Unidos de America
EUR 77,61
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Librería: Basi6 International, Irving, TX, Estados Unidos de America
EUR 116,82
Cantidad disponible: 3 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 117,14
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Librería: Buchpark, Trebbin, Alemania
EUR 29,90
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Seiten: 344 | Sprache: Englisch | Produktart: Bücher | Safety is a paradoxical system property. It remains immaterial, intangible and invisible until a failure, an accident or a catastrophy occurs and, too late, reveals its absence. And yet, a system cannot be relied upon unless its safety can be explained, demonstrated and certified. The practical and difficult questions which motivate this study concern the evidence and the arguments needed to justify the safety of a computer based system, or more generally its dependability. Dependability is a broad concept integrating properties such as safety, reliability, availability, maintainability and other related characteristics of the behaviour of a system in operation. How can we give the users the assurance that the system enjoys the required dependability? How should evidence be presented to certification bodies or regulatory authorities? What best practices should be applied? How should we decide whether there is enough evidence to justify the release of the system? To help answer these daunting questions, a method and a framework are proposed for the justification of the dependability of a computer-based system. The approach specifically aims at dealing with the difficulties raised by the validation of software. Hence, it should be of wide applicability despite being mainly based on the experience of assessing Nuclear Power Plant instrumentation and control systems important to safety. To be viable, a method must rest on a sound theoretical background.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 162,66
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 162,66
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 174,75
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Idioma: Inglés
Publicado por Springer International Publishing, 2019
ISBN 10: 3030195007 ISBN 13: 9783030195007
Librería: moluna, Greven, Alemania
EUR 136,16
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 194,03
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Engineering Science Reference, 2011
ISBN 10: 1609607473 ISBN 13: 9781609607470
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 206,09
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Engineering Science Reference, 2011
ISBN 10: 1609607473 ISBN 13: 9781609607470
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 194,10
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Idioma: Inglés
Publicado por Engineering Science Reference, 2011
ISBN 10: 1609607473 ISBN 13: 9781609607470
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 194,09
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 213,21
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 554.
Librería: preigu, Osnabrück, Alemania
EUR 140,00
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Engineering in Dependability of Computer Systems and Networks | Proceedings of the Fourteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, July 1-5, 2019, Brunów, Poland | Wojciech Zamojski (u. a.) | Taschenbuch | Advances in Intelligent Systems and Computing | xv | Englisch | 2019 | Springer | EAN 9783030195007 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Idioma: Inglés
Publicado por Engineering Science Reference, 2011
ISBN 10: 1609607473 ISBN 13: 9781609607470
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 204,53
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 195,02
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 226,25
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 228,58
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Engineering Science Reference, 2011
ISBN 10: 1609607473 ISBN 13: 9781609607470
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 228,42
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Springer International Publishing, Springer International Publishing, 2021
ISBN 10: 3030767728 ISBN 13: 9783030767723
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 160,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book contains papers on selected aspects of dependability analysis in computer systems and networks, which were chosen for discussion during the 16th DepCoS-RELCOMEX conference held in Wroclaw, Poland, from June 28 to July 2, 2021. Their collection will be a valuable source material for scientists, researchers, practitioners and students who are dealing with design, analysis and engineering of computer systems and networks and must ensure their dependable operation.Being probably the most complex technical systems ever engineered by man (and also-the most dynamically evolving ones), organization of contemporary computer systems cannot be interpreted only as structures built on the basis of (unreliable) technical resources. Their evaluation must take into account a specific blend of interacting people (their needs and behaviours), networks (together with mobile properties, cloud organization, Internet of Everything, etc.) and a large number of users dispersed geographically and constantly producing an unconceivable number of applications. Ever-growing number of research methods being continuously developed for dependability analyses apply the newest techniques of artificial and computational intelligence. Selection of papers in these proceedings illustrates diversity of multi-disciplinary topics which are considered in present-day dependability explorations.
Idioma: Inglés
Publicado por Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030195007 ISBN 13: 9783030195007
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 160,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents papers on various problems of dependability in computer systems and networks that were discussed at the 14th DepCoS-RELCOMEX conference, in Brunów, Poland, from 1st to 5th July 2019. Discussing new ideas, research results and developments in the design, implementation, maintenance and analysis of complex computer systems, it is of interest to researchers and practitioners who are dealing with dependability issues in such systems.Dependability analysis came as a response to new challenges in the evaluation of contemporary complex systems, which should be considered as systems of people - with their needs and behaviours -interacting with technical communication channels (such as mobile activities, iCloud, Internet of Everything) and online applications, often operating in hostile environments. The diversity of topics covered, illustrates the variety of methods used in this area, often with the help of the latest results in artificial and computational intelligence.
Librería: Buchpark, Trebbin, Alemania
EUR 122,89
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Hervorragend. Zustand: Hervorragend | Seiten: 532 | Sprache: Englisch | Produktart: Bücher | This book contains papers on selected aspects of dependability analysis in computer systems and networks, which were chosen for discussion during the 16th DepCoS-RELCOMEX conference held in Wroc¿aw, Poland, from June 28 to July 2, 2021. Their collection will be a valuable source material for scientists, researchers, practitioners and students who are dealing with design, analysis and engineering of computer systems and networks and must ensure their dependable operation.Being probably the most complex technical systems ever engineered by man (and alsöthe most dynamically evolving ones), organization of contemporary computer systems cannot be interpreted only as structures built on the basis of (unreliable) technical resources. Their evaluation must take into account a specific blend of interacting people (their needs and behaviours), networks (together with mobile properties, cloud organization, Internet of Everything, etc.) and a large number of users dispersed geographically and constantly producing an unconceivable number of applications. Ever-growing number of research methods being continuously developed for dependability analyses apply the newest techniques of artificial and computational intelligence. Selection of papers in these proceedings illustrates diversity of multi-disciplinary topics which are considered in present-day dependability explorations.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 216,42
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 223,08
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 234,64
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 529 pages. 9.25x6.10x1.07 inches. In Stock.
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2019
ISBN 10: 3030195007 ISBN 13: 9783030195007
Librería: Revaluation Books, Exeter, Reino Unido
EUR 235,25
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 572 pages. 9.25x6.10x1.22 inches. In Stock.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 237,58
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 230,70
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Librería: preigu, Osnabrück, Alemania
EUR 184,85
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Justifying the Dependability of Computer-based Systems | With Applications in Nuclear Engineering | Pierre-Jacques Courtois | Taschenbuch | xviii | Englisch | 2010 | Springer | EAN 9781849967945 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Idioma: Inglés
Publicado por Springer London, Springer, 2010
ISBN 10: 1849967946 ISBN 13: 9781849967945
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 223,11
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Safety is a paradoxical system property. It remains immaterial, intangible and invisible until a failure, an accident or a catastrophy occurs and, too late, reveals its absence. And yet, a system cannot be relied upon unless its safety can be explained, demonstrated and certified. The practical and difficult questions which motivate this study concern the evidence and the arguments needed to justify the safety of a computer based system, or more generally its dependability. Dependability is a broad concept integrating properties such as safety, reliability, availability, maintainability and other related characteristics of the behaviour of a system in operation. How can we give the users the assurance that the system enjoys the required dependability How should evidence be presented to certification bodies or regulatory authorities What best practices should be applied How should we decide whether there is enough evidence to justify the release of the system To help answer these daunting questions, a method and a framework are proposed for the justification of the dependability of a computer-based system. The approach specifically aims at dealing with the difficulties raised by the validation of software. Hence, it should be of wide applicability despite being mainly based on the experience of assessing Nuclear Power Plant instrumentation and control systems important to safety. To be viable, a method must rest on a sound theoretical background.