Formal specifications, while they are
the authority, are not the best learning tool. It would be like learning to drive by reading the state's Motor Vehicle Code laws.
I would highly recommend the book "Head First
Servlets and JSP" as probably the best starting point. Follow that up with some practice exams and more reading and
you should be OK.