Formal methods for industrial critical systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Software reliability assessment with OR applications অনুযায়ী Kapur, P.K, Pham, Hoang, Gupta, A., P.C. Jha

Available for UP System via SpringerLink

Introduction to reliable and secure distributed programming অনুযায়ী Cachin, Christian

Available for the University of the Philippines Diliman via SpringerLink. Click here to access

Secure and resilient software development অনুযায়ী Merkow, Mark S.

Secure and resilient software development অনুযায়ী Merkow, Mark S.

Clean code a handbook of agile software craftsmanship

Table of contents only

Software error detection through testing and analysis অনুযায়ী Huang, J. C. 1935-

Systems and software engineering with applications অনুযায়ী Schneidewind, Norman

Available for University of the Philippines System via IEEE Xplore Digital Library. Click here to access
Available for University of the Philippines Diliman via Wiley Online Library. Click here to access

The practical guide to defect prevention অনুযায়ী McDonald, Marc

Software system reliability and security