Myers, Glenford J.
Reliable software through composite design
Van Nostrand Reinhold , 1975
Buku Teks SO
Putnam, Lawrence H.
Measures for excellence: reliable software on time, within budget
Prentice-Hall, 1992
Buku Teks SO
Coordination models and languages : 14th international conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012 : proceedings
edited by Marjan Sirjani
Springer, 2012
eBooks
Distributed applications and interoperable systems : 12th IFIPWG6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012 : proceedings
edited by Karl Michael Goschka and Seif Haridi
Springer, 2012
eBooks
Formal techniques for distributed systems : joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012 : proceedings
edited by Holger Giese and Grigore Rosu
Springer, 2012
eBooks