For the most recent entries see the Petri Nets Newsletter.

Fundamentals of computing for software engineers.

Tanik, M.M.; Chan, E.S.

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

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography