Produktbild: Programming and Mathematical Method
Band 88

Programming and Mathematical Method International Summer School

Aus der Reihe NATO ASI Subseries F:

Fr. 137.00

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.12.2011

Herausgeber

Manfred Broy

Verlag

Springer Berlin

Seitenzahl

407

Maße (L/B/H)

24.2/17/2.3 cm

Gewicht

722 g

Auflage

Softcover reprint of the original 1st ed. 1992

Sprache

Englisch

ISBN

978-3-642-77574-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.12.2011

Herausgeber

Manfred Broy

Verlag

Springer Berlin

Seitenzahl

407

Maße (L/B/H)

24.2/17/2.3 cm

Gewicht

722 g

Auflage

Softcover reprint of the original 1st ed. 1992

Sprache

Englisch

ISBN

978-3-642-77574-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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: Programming and Mathematical Method
  • 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.