Autor: Johan Lewi

This book is intended as a text for a course in programming languages. The pre- requisites for such a course are insight in structured programming and knowledge as well as practical experience of at …

"I prefer to view formal methods as tools. the use of which might be helpful." E. W. Dijkstra Algebraic specifications are about to be accepted by industry. Many projects in which algebraic …