Synopsis
The safe operation of computer systems, in both their software and hardware continues to be a key issue in many real time applications, when people, environment, investment or goodwill can be at risk. Such applications include the monitoring and control of high energy processes, of nuclear and chemical plants, of factory automation, of transportation systems, or funds transfer and of communication and information systems. This book represents the proceedings of the 1987 Safety and Reliability Society Symposium held in Altrincham, UK, 11-12 November 1987. It is thus part of the series of proceedings for Society Events, which in previous years have not addressed the topic of the Safety and Reliability of Computer Systems. The book is also part of another series of reports, and is closely related to the Elsevier Book "Safety and Reliability of Programmable Electronic Systems" which I edited in 1986, and the series of workshops known as SAFECOMP held in 1979, 1982, 1983, 1985, 1986 which are referenced in some of the papers. The structure of the book represents the structure of the Symposium itself. The session titles, and the papers as selected represent the current practice in many industries. The trend is towards more industrial usage of Formal Methods, and tools to support these methods, whilst continuing to make best use of Software Engineering, Safety and Reliability Assessment, and accumulated experience.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Achieving Safety and Reliability with Computer Systems
Stock Image
Achieving Safety and Reliability with Computer Systems (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 3 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # 0UKR4UHITH
Buy New
US$ 151.33
US$ 6.40 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Stock Image
Achieving Safety and Reliability with Computer Systems
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9789401080507_new
Buy New
US$ 191.03
US$ 16.12 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Achieving Safety and Reliability with Computer Systems
Published by
Springer Netherlands Okt 2011, 2011
ISBN 10: 940108050X
ISBN 13: 9789401080507
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The safe operation of computer systems, in both their software and hardware continues to be a key issue in many real time applications, when people, environment, investment or goodwill can be at risk. Such applications include the monitoring and control of high energy processes, of nuclear and chemical plants, of factory automation, of transportation systems, or funds transfer and of communication and information systems. This book represents the proceedings of the 1987 Safety and Reliability Society Symposium held in Altrincham, UK, 11-12 November 1987. It is thus part of the series of proceedings for Society Events, which in previous years have not addressed the topic of the Safety and Reliability of Computer Systems. The book is also part of another series of reports, and is closely related to the Elsevier Book 'Safety and Reliability of Programmable Electronic Systems' which I edited in 1986, and the series of workshops known as SAFECOMP held in 1979, 1982, 1983, 1985, 1986 which are referenced in some of the papers. The structure of the book represents the structure of the Symposium itself. The session titles, and the papers as selected represent the current practice in many industries. The trend is towards more industrial usage of Formal Methods, and tools to support these methods, whilst continuing to make best use of Software Engineering, Safety and Reliability Assessment, and accumulated experience. 312 pp. Englisch. Seller Inventory # 9789401080507
Buy New
US$ 192.35
US$ 26.76 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
Achieving Safety and Reliability with Computer Systems
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The safe operation of computer systems, in both their software and hardware continues to be a key issue in many real time applications, when people, environment, investment or goodwill can be at risk. Such applications include the monitoring and control of . Seller Inventory # 5834614
Buy New
US$ 163.19
US$ 57.01 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Achieving Safety and Reliability with Computer Systems
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 312. Seller Inventory # 26142320155
Stock Image
Achieving Safety and Reliability with Computer Systems
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 312 23:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on White w/Gloss Lam. Seller Inventory # 135011780
Buy New
US$ 227.39
US$ 8.75 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Seller Image
Achieving Safety and Reliability with Computer Systems
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Achieving Safety and Reliability with Computer Systems | B. K. Daniels | Taschenbuch | xiv | Englisch | 2011 | Springer | EAN 9789401080507 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 105640219
Buy New
US$ 167.80
US$ 81.46 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available
Stock Image
Achieving Safety and Reliability with Computer Systems
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 312. Seller Inventory # 18142320145
Buy New
US$ 245.23
US$ 11.58 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available
Seller Image
Achieving Safety and Reliability with Computer Systems
Published by
Springer, Springer Okt 2011, 2011
ISBN 10: 940108050X
ISBN 13: 9789401080507
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The safe operation of computer systems, in both their software and hardware continues to be a key issue in many real time applications, when people, environment, investment or goodwill can be at risk. Such applications include the monitoring and control of high energy processes, of nuclear and chemical plants, of factory automation, of transportation systems, or funds transfer and of communication and information systems. This book represents the proceedings of the 1987 Safety and Reliability Society Symposium held in Altrincham, UK, 11-12 November 1987. It is thus part of the series of proceedings for Society Events, which in previous years have not addressed the topic of the Safety and Reliability of Computer Systems. The book is also part of another series of reports, and is closely related to the Elsevier Book 'Safety and Reliability of Programmable Electronic Systems' which I edited in 1986, and the series of workshops known as SAFECOMP held in 1979, 1982, 1983, 1985, 1986 which are referenced in some of the papers. The structure of the book represents the structure of the Symposium itself. The session titles, and the papers as selected represent the current practice in many industries. The trend is towards more industrial usage of Formal Methods, and tools to support these methods, whilst continuing to make best use of Software Engineering, Safety and Reliability Assessment, and accumulated experience.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch. Seller Inventory # 9789401080507
Buy New
US$ 192.35
US$ 69.82 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Achieving Safety and Reliability with Computer Systems
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The safe operation of computer systems, in both their software and hardware continues to be a key issue in many real time applications, when people, environment, investment or goodwill can be at risk. Such applications include the monitoring and control of high energy processes, of nuclear and chemical plants, of factory automation, of transportation systems, or funds transfer and of communication and information systems. This book represents the proceedings of the 1987 Safety and Reliability Society Symposium held in Altrincham, UK, 11-12 November 1987. It is thus part of the series of proceedings for Society Events, which in previous years have not addressed the topic of the Safety and Reliability of Computer Systems. The book is also part of another series of reports, and is closely related to the Elsevier Book 'Safety and Reliability of Programmable Electronic Systems' which I edited in 1986, and the series of workshops known as SAFECOMP held in 1979, 1982, 1983, 1985, 1986 which are referenced in some of the papers. The structure of the book represents the structure of the Symposium itself. The session titles, and the papers as selected represent the current practice in many industries. The trend is towards more industrial usage of Formal Methods, and tools to support these methods, whilst continuing to make best use of Software Engineering, Safety and Reliability Assessment, and accumulated experience. Seller Inventory # 9789401080507
Buy New
US$ 202.23
US$ 72.47 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available