H. Wössner

M. Griffiths

D. Gries

F.L. Bauer

H. Partsch

E.W. Dijkstra

S.L. Gerhart

J. V. Guttag

J. J. Horning

S. S. Owicki

C. Pair

P. Pepper

M. Wirsing

International Summer School

Program Construction

Friedrich L. Bauer

The author's primary objective in this book is to discuss those aspects of bifurcation theory which are particularly meaningful to differential equations. To acccomplish this objective and to make the book accessible to a wider audience, much of the relevant background material from nonlinear functional analysis and the qualitative theory of differential equations is presented in detail. Two distinct aspects of bifurcation theory are discussed - static and dynamic. Static bifurcation theory is concerned with the changes that occur in the structure of the set of zeros of a function as parameters in the function are varied. Dynamic bifurcation theory is concerned with the changes that occur in the structure of the limit sets of solutions of differential equations as parameters in the vector field are varied. This second printing contains extensive corrections and revisions throughout the book.

Algorithmic Language and Program Development

The title of this book contains the words ALGORITHMIC LANGUAGE, in the singular. This is meant to convey the idea that it deals not so much with the diversity of program ming languages, but rather with their commonalities. The task of formal program develop It allows classifying ment proved to be the ideal frame for demonstrating this unity. concepts and distinguishing fundamental notions from notational features; and it leads immediately to a systematic disposition. This approach is supported by didactic, practical, and theoretical considerations. The clarity of the structure of a programming language de signed according to the principles of program transformation is remarkable. Of course there are various notations for such a language. The notation used in this book is mainly oriented towards ALGOL 68, but is also strongly influenced by PASCAL - it could equally well have been the other way round. In the appendices there are occa sional references to the styles used in ALGOL, PASCAL, LISP, and elsewhere.

7. Fachtagung veranstaltet vom Fachausschuß 2 der GI München, 9./10. März 1982

Programmiersprachen und Programmentwicklung

H. Wössner

Books

Your next favorite book is out there