Author: Eric Y.T. Juan
Edition: Softcover reprint of the original 1st ed. 2002
Binding: Paperback
ISBN: 1461353491
Edition: Softcover reprint of the original 1st ed. 2002
Binding: Paperback
ISBN: 1461353491
Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)
With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Get Compositional Verification of Concurrent and Real-Time Systems computer books for free.
Since many of the software systems support or supplant human control of safety-critical systems (such as those found in flight control, space shuttle control, aircraft avionics, robotics, patient monitoring devices and nuclear power plants), failure of such systems could have disastrous effects. It is essential, therefore, that software used for safety-critical systems preserves high assurance properties. Compositional Verification of Concurrent and Real-Time Systems introduces important modeling and formal verification techniques for verifying the reliability and correctness of high-assurance software Check Compositional Verification of Concurrent and Real-Time Systems our best computer books for 2013. All books are available in pdf format and downloadable from rapidshare, 4shared, and mediafire.
Compositional Verification of Concurrent and Real-Time Systems Download
Since many of the software systems support or supplant human control of safety-critical systems (such as those found in flight control, space shuttle control, aircraft avionics, robotics, patient monitoring devices and nuclear power plants), failure of such systems could have disastrous effects Compositional Verification of Concurrent and Real-Time Systems introduces important modeling and formal verification techniques for verifying the reliability and correctness of high-assurance software
No comments:
Post a Comment