Here is some information on CS 195: Data Representation, Storage
Management, and C Programming!

CSC 195 introduces a range of fundamental low-level CS topics, providing a
complementary perspective from the high-level views given in CSC 151-152 or
CSC 153.  Topics covered will include conventional Von Neumann
architectures, the internal representation of data, low-level processing
elements, compiling and linking, dynamic memory allocation and
deallocation, use of pointers, and concurrency.

The main textbook on C is "A Course on C" by C. Charlton, P. Leng, and
J. Little and published by Mc-Graw Hill Europe.  The main textbook
on program verification is 'The Science of Programming' by David Gries and
published by Springer-Verlag.  Since Gries' book is the classical textbook
on the subject, one might ask, "Why would one ever use another book?" 

The first C program involved computing the charges for a baby sitter, based
on the sitter's starting time in hours and minutes and the sitter's ending
time.  The second C program implemented the Euclidean Algorithm for finding
the Greatest Common Division.  That algorithm proceeds by long
division--keeping track of subsequent remainders.