Books page on my site.

Direct links to Springer site:

• Ada for Software Engineers (Second Edition with Ada 2005).
  
• Principles of the Spin Model Checker.
  
• Mathematical Logic for Computer Science (Second edition).