A good and concise (albeit old) SE book is "Fundamentals of Software Engineering by Ghezzi, Jazayeri and Mandrioli".

For more background; "Software Fundamentals: Collected papers by David L. Parnas" is a great resource.

For a tour of the CS aspects; see "Specifying Software: A Hands-On Introduction by R.D.Tennent"