Vor Ort
Merkzettel Warenkorb
  • Produktbild: Mathematical Methods in Program Development
  • Produktbild: Mathematical Methods in Program Development
Band 158

Mathematical Methods in Program Development

Aus der Reihe NATO ASI Subseries F:

98,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.10.2011

Abbildungen

X, 528 p.

Herausgeber

Manfred Broy + weitere

Verlag

Springer Berlin

Seitenzahl

528

Maße (L/B/H)

23,5/15,5/3 cm

Gewicht

826 g

Auflage

Softcover reprint of the original 1st ed. 1997

Sprache

Englisch

ISBN

978-3-642-64588-4

Beschreibung

Portrait

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.

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.10.2011

Abbildungen

X, 528 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

528

Maße (L/B/H)

23,5/15,5/3 cm

Gewicht

826 g

Auflage

Softcover reprint of the original 1st ed. 1997

Sprache

Englisch

ISBN

978-3-642-64588-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Mathematical Methods in Program Development
  • Produktbild: Mathematical Methods in Program Development
  • Eliminating the Chaff—Again: Banquet Speech at Marktoberdorf 1996.- Envoi at Marktoberdorf 1996.- 0. Designing Proofs and Programs.- Heuristics for a Very Simple Euclidean Proof (EWD1180).- Complete DAGs (EWD1204).- A Result of Rabbit Removal (EWD1208).- For the Record: Painting the Squared Plane (EWD1212).- The Marriage Agency (EWD1214).- Courtesy Dr. Birgit Schieder (EWD1215).- WLOG, or the Misery of the Unordered Pair (EWD1223).- My Simplest Theorem (EWD1232).- The Transitive Closure of a Wellfounded Relation (EWD1241).- The Formula for sin. (a + /?) (EWD1244a).- A Kind of Converse of Leibniz’s Principle (EWD1245).- The Strengths of the Academic Enterprise (EWD1175).- On a Method for the Formal Design of Multiprograms.- Foundations for Calculational Logic.- 1. Examples of Protocol Design.- Specification and Design of a Transmission Protocol by Successive Refinements Using B.- Formal Derivation of a Protocol in CSP.- 2. Languages and Models for Program Design.- Genesis of Algorithmic Languages.- Mathematical Methods in System and Software Engineering.- Unified Theories of Programming.- 3. Programming Paradigms.- On the Relationship Between Classes, Objects and Data Abstraction.- The Oz Programming Model.- A Foundation for Higher-order Concurrent Constraint Programming.- 4. Mechanical Proof Assistance.- Tool Support for Logics of Programs.- Machine-Assisted Verification Using Theorem Proving and Model Checking.