Items related to Time and Probability in Formal Design of Distributed...
Time and Probability in Formal Design of Distributed Systems (Real-Time Safety Critical Systems, Vol 1) - Hardcover
Synopsis
Due to the current economic climate, many, if not all, industries depend upon computer systems for their product, design and manufacturing processes and for routine business functions. Although the use of such systems brings many advantages, the consequences of failure (including physical failure of computer systems, software design faults and human error) can involve both loss of life and environmental damage.
Pressure is consequently being mounted to match technical progress with safeguards and subsequent accountability. Research funds are accordingly being generated by governments and leading industries, affording the development of safety-critical systems by multi-disciplinary teams of mechanical, structural, electronic and software engineers and, where appropriate, psychologists, sociologists and economists.
A new book series Real-Time Safety Critical Systems has been launched as a forum to enable all relevant researchers and de
"synopsis" may belong to another edition of this title.
Search results for Time and Probability in Formal Design of Distributed...
Stock Image
Time and Probability in Formal Design of Distributed Systems (Real-Time Safety Critical Systems, Vol 1)
Seller: medimops, Berlin, Germany
Seller rating 5 out of 5 stars
Condition: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. Seller Inventory # M00444899405-V
Quantity: 1 available