Programming Logics: An Introduction to Verification and Semantics, Raymond D. Gu

Introduction to Programming Using Java: An Object-Oriented Approach: Java 2 Upda

Pascal: an Introduction to the Art and Science of Programming, Walter J. Savitch

Object-Oriented Languages: Basic Principles and Programming Techniques, Michael

Introduction to Microcontrollers: Architecture, Programming, and Interfacing of

Computer and Chemistry: Introduction to Programming and Numerical Methods, T.R.

An Introduction to Programming With Specifications: A Mathematical Approach, Boz

Programming With Specifications: An Introduction to Anna, a Language for Specify