Main Bibliography |
Principal: - Jalote, P. A Concise Introduc2on to So-ware Engineering. Series: Undergraduate Topics in Computer Science. 1st Edi2on., 2008, Springer Verlag Complementar: - Sommerville, I., Software Engineering, 9th edition, Pearson Education, 2011. - Almeida, J.B., Frade, M.J., Pinto, J.S., Melo de Sousa, S. Rigorous Software Development, An Introduction to Program Verification. Series: Undergraduate Topics in Computer Science, Springer. 1st Edition., 2011
|