C-XSC is a tool for the development of numerical algorithms. It provides data types and operators to support numerical algorithms which deliver highly accurate and automatically verified results. C and C++ are used for programming these algorithms - both languages could not be used for numerical algorithms previously. The book can be used as a textbook and as a reference manual. It will be of great interest to all computer users in the field of scientific computing.