Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Programming and Mathematical Method

International Summer School
BuchKartoniert, Paperback
407 Seiten
Englisch
Springererschienen am21.12.2011Softcover reprint of the original 1st ed. 1992
The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a mathematical method.mehr

Produkt

KlappentextThe Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a mathematical method.
Zusammenfassung
Details
ISBN/GTIN978-3-642-77574-1
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2011
Erscheinungsdatum21.12.2011
AuflageSoftcover reprint of the original 1st ed. 1992
ReiheNATO ASI Subseries F:
Seiten407 Seiten
SpracheEnglisch
IllustrationenVIII, 407 p.
Artikel-Nr.18232766

Inhalt/Kritik

Inhaltsverzeichnis
1. Examples of Derivations.- On the Design of a Simple Proof for Morley´s Theorem.- Well-Foundedness and the Transitive Closure.- Designing the Proof of Vizing´s Theorem.- Phase Synchronization for Two Machines.- The Lexicographic Minimum of a Cyclic Array.- 2. Rules of Programming.- Metalevel Programming in Constructive Type Theory.- Laws of Programming.- Some Applications of Pointer Algebra.- Some Generalizations and Applications of Dijkstra´s Guarded Commands.- 3 Refinement and Program Composition.- A Theoryof Program Composition.- Lectures on Data Refinement.- Refinement Alerebra Proves Correctness of Compilation.- 4 Distributed Svstems.- Process Algebra with Signals and Conditions.- Functional Specification of Time Sensitive Communicating Systems.- Systematic Derivation of Communicating Programs.mehr

Autor

Dr. rer. nat. Manfred Broy studierte Mathematik und Informatik 1971-76 an der Technischen Universität München. Dort 1976-80 wissenschaftlicher Mitarbeiter im Sonderforschungsbereich 49 'Programmiertechnik' der DFG. 1980 Promotion, 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.