Mathematical Logic
for Computer Science (Third edition).
Springer 2012. ISBN 9781447141280. 
This book teaches mathematical logic using tableaux techniques pioneered by Beth and Smullyan, which are simpler than the usual algebraic techniques, but quite sufficient to give CS students the theoretical tools they need. The book also discusses application of logic to CS. For the third edition, the book has been totally rewritten and additional material has been included on SAT solving and model checking.
The Prolog implementation of the algorithms and their documentation has been removed from the textbook and is now freely available at the project http://code.google.com/p/mlcs/ on Google Code. That project also contains LearnSAT, a Prolog implementation of the DPLL algorithm for SAT solving, including the techniques of conflictdirected clauselearning and nonchronological backtracking.
On the book's website you can download transparencies of the figures and tables (PDF and LaTeX). The website also has a link where instructors can obtain the solution manual.
Michal Armoni and Moti BenAri. Computer Science Concepts in Scratch. Weizmann Institute of Science, 2010. 
Ada for Software
Engineers (Second Edition with Ada 2005).
Springer,
2009. ISBN 9781848823136. Ada for Software Engineers teaches the language as it is used in practice through relatively large casestudies such as a discrete event simulation. The presentation emphasizes the features for objectoriented and systems programming that were introduced in Ada 95, as well as the new features in Ada 2005. A graduated introduction to the terminology and style of the language reference manual makes this an ideal textbook for practicing software engineers. 

Principles of the Spin Model Checker.
Springer, 2008. ISBN: 9781846287695. Japanese translation published by Ohmsha. This is an introductory textbook on the use of the Spin Model Checker for modeling and verifying concurrent and distributed systems. See also the software tools that I have developed for using Spin. 
Principles of Concurrent and Distributed Programming (Second edition). AddisonWesley, 2006. ISBN 032131283X. Visit the Pearson Companion Website http://www.pearsoned.co.uk/benari/. 
Just a Theory: Exploring the Nature of Science.
Prometheus Books 2005. ISBN 1591022851. 
How To Do It In Java. Mabat laHalonot, 2006. This is a booklet in Hebrew that describes how to do various tasks related to programming in Java such as installing environments, debugging programs, using libraries. 
Mathematical Logic
for Computer Science (Second edition).
Springer 2001. Corrected printing with a new cover (left), 2008. ISBN 9781852333195. 
Ada for Software
Engineers.
John Wiley & Sons, 1998. ISBN 0471979120. Out of print. An electronic edition was available, but this has been removed since the publication of the second edition (see above). 
Understanding
Programming Languages.
John Wiley & Sons, 1996. ISBN 0471958468. Out of print. Electronic edition available. 
Copyright 2006 by M. BenAri. You may download, display and print one copy for your personal use in noncommercial academic research and teaching. Instructors in noncommerical academic institutions may make one copy for each student in his/her class. All other rights reserved. In particular, posting this document on web sites is prohibited without the express permission of the author. This notice also applies to the slides and instructor's manual.
Principles of
Concurrent and Distributed Programming.
PrenticeHall International, 1990. ISBN 013711821X. 
Mathematical Logic
for Computer Science.
PrenticeHall International 1993. ISBN 013564139X. Out of print. 
Principles of
Concurrent Programming.
PrenticeHall International, 1982. ISBN 0137010788 Out of print. 