Software Reliability Methods Hardcover Doron A. Peled

Automata and Computability (Undergraduate Texts in Computer Science)

Problem Solving Methods in Artificial Intelligence Nilsson 1971 Computer Science

Invariants: A Generative Approach to Programming (Texts in Computer Science)

Programming via Pascal (Cambridge Computer Science Texts) By Roh

First Course in Computability (Computer Science Texts) By V. J.

Statistical Methods for Spatial Data Analysis: Texts in Statistical Science ...

Texts in Computer Science Ser.: Algorithm Design Manual by Steven S. Skiena...