Formal Description of Programming Concepts

by

Write The First Customer Review

In software engineering there is a growing need for formalization as a basis for developing powerful computer assisted methods. This volume contains seven extensive lectures prepared for a series of IFIP seminars on the Formal Description of Programming Concepts. The authors are experts in their fields and have contributed substantially to the state of the art in numerous publications. The lectures cover a wide range in the theoretical foundations of programming and give an up-to-date account of the semantic models and the ...

Formal Description of Programming Concepts 1991, Springer, Berlin, Germany

ISBN-13: 9780387539614

Hardcover

Select
Formal Description of Programming Concepts 1991, Springer, Berlin, Germany

ISBN-13: 9783540539612

1991 edition

Hardcover

Select