Mathematical Methods in Program Development (NATO ASI Subseries F:, 158) - Hardcover

Hardcover

ISBN 10: 354063195X ISBN 13: 9783540631958

Verlag: Springer, 1997

Inhaltsangabe

Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For critical applications, mathematical methods are needed to model the systems and to support their development and validation. Impressive progress in mathematical methods for programming software systems makes it possible to think about unifying the different approaches. This book gives a comprehensive overview of existing methods and presents some of the most recent results in applying them. The main topics are: advanced programming techniques, foundations of systems engineering, mathematical support methods, and application of the methods. The approaches presented are illustrated by examples and related to other approaches.

Über diesen Titel

Über die Autorin bzw. den Autor

Manfred Broy studierte Mathematik und Informatik 1971 - 1976 an der Technischen Universität München. Dort 1976 - 1980 wissenschaftlicher Mitarbeiter im Sonderforschungsbereich 49 'Programmiertechnik' der DFG. 1980 Promotion zum Dr. rer. nat., ab 1980 wisschenschaftlicher Assistent und 1982 Habilitation in Informatik an der TU München. 1983 ordentlicher Professor für Informatik und Gründungsdekan an der Fakultät für Mathematik und Informatik der Universität Passau. Seit 1989 ordentlicher Professor für Informatik an der TU München. 1994 Leibniz-Preis der DFG.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 1997
• Sprache: Englisch
• ISBN 10: 354063195X
• ISBN 13: 9783540631958
• Einband: Gebundene Ausgabe
• Auflage: 1
• Anzahl der Seiten: 538
• Herausgeber: Broy Manfred, Schieder Birgit
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Deutschland