High Assurance Services Computing

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Zhang, Liang-Jie (Επιμελητής έκδοσης), Paul, Raymond (Επιμελητής έκδοσης), Dong, Jing (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2009.
• Θέματα: Computer science.; Business mathematics.; Computer software > Reusability.; Microprocessors.; Software engineering.; Computer programming.; Computers.; Computer Science.; Software Engineering/Programming and Operating Systems.; Theory of Computation.; Business Mathematics.; Performance and Reliability.; Processor Architectures.; Programming Techniques.

High Assurance Services Computing Jing Dong, Raymond Paul, Liang-Jie Zhang Service computing is a cutting-edge area, popular in both industry and academia. New challenges have been introduced to develop service-oriented systems with high assurance requirements. High Assurance Services Computing capt...