In: New York: Van Nostrand Reinhold, pages 1-251. 1991.
Abstract: Today there is a growing trend in computer science and software engineering towards the use of formal techniques in software development. Chan and Tanik's new Fundamentals of Computing for Software Engineers is a fortunate outgrowth of this trend - a complete and self-contained treatment of formalisms needed for further automation of software development. The book uniquely presents valid mathematical and formal structures that enable readers to fully comprehend the underlying structures of software engineering. After a brief review of the existing waterfall model, the book presents a systems view of software development that offers readers a better understanding of the processes in software development