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

 
9783540631958: Mathematical Methods in Program Development (NATO ASI Subseries F:, 158)
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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Ü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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

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

Weitere beliebte Ausgaben desselben Titels

9783642645884: Mathematical Methods in Program Development (NATO ASI Subseries F:, Band 158)

Vorgestellte Ausgabe

ISBN 10:  3642645887 ISBN 13:  9783642645884
Verlag: Springer, 2011
Softcover