Mathematical Methods in Program Development

Impressive progress in mathematical methods for programming software systems makes it possible to think about unifying the different approaches. The main topics are: advanced programming techniques, foundations of systems engineering, mathematical support methods, and application of the methods.