A thorough introduction to the mathematical foundations of trustworthy software can be found in the Software Foundations series.

The main innovation of the series is the complete formalization and machine-checking of every last detail; each volume's whole text, including the exercises, functions as a "proof script" for the Coq proof aid.

The exposition is meant for a wide variety of readers, including Ph.D. candidates and researchers as well as advanced undergraduate students. Although a certain level of mathematical maturity is advantageous, no particular background in logic or programming languages is required.

Do you believe the programmers who work at your company are wizards with magical abilities who can control your computer? It's true that anyone can learn to build programs, and you don't need a degree in math or science to get started.

Without going into technical jargon or challenging programming languages, this book explains how computer programming works. It examines the universal components of all computer programming languages as well as writing techniques for several operating systems, including Windows, Mac OS X, and Linux. You will find the resources you need in this simple-to-access guide to:

- Create programs and divide them into subprograms
- Develop variables and use constants
- Manipulate strings and convert them into numbers
- Use an array as storage space
- Reuse and rewrite code
- Isolate data
- Create a user interface
- Write programs for the Internet
- Utilize JavaScript and Java Applets