book formal method software develop

I read two books on the software engineering , and I understand what are the general methods used by team to develop software . Now I would to deepen my knowledge on formal methods, May you suggest what are the best books currently??