 Specifying Software: A Hands-On Introduction
This book was written to support a short course in the second or third year of
an undergraduate computer science, software engineering, or software design
program. The prerequisites are fairly modest: some programming experience
(ideally in С or С++ or a related language such as Java) and some exposure
to the most basic... |  |  Discrete Mathematics and its Applications
Discrete Mathematics and its Applications is a focused introduction to the primary themes in a discrete mathematics course, as introduced through extensive applications, expansive discussion, and detailed exercise sets. These themes include mathematical reasoning, combinatorial analysis, discrete structures, algorithmic thinking, and enhanced... |  |  Database System Concepts
Database System Concepts, 5/e, is intended for a first course in databases at the junior or senior undergraduate, or first-year graduate, level. In addition to basic material for a first course, the text contains advanced material that can be used for course supplements, or as introductory material for an advanced course.
... |