Publisher's Synopsis
This text examines the software engineering techniques used for industrial tasks. Software engineering is used in many different fields. This book presents mathematical foundations of software engineering and engineering methods in their theoretical substance for practical applications.