Vor Ort
Merkzettel Warenkorb
  • Produktbild: Mathematics of Program Construction
  • Produktbild: Mathematics of Program Construction
Band 1422

Mathematics of Program Construction 4th International Conference, MPC '98, Marstrand, Sweden, June 15-17, 1998, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.05.1998

Herausgeber

Johan Jeuring

Verlag

Springer Berlin

Seitenzahl

388

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

522 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-64591-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.05.1998

Herausgeber

Johan Jeuring

Verlag

Springer Berlin

Seitenzahl

388

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

522 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-64591-7

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: Mathematics of Program Construction
  • Produktbild: Mathematics of Program Construction
  • On the aesthetics of diagrams.- Generalising monads.- A proof rule for control loops.- Relation-algebraic derivation of spanning tree algorithms.- An application of program derivation techniques to 18th-century mathematics.- Nested datatypes.- An approach to object-orientation in action systems.- Layered graph traversals and Hamiltonian path problems — An algebraic approach.- A unifying framework for correct program construction.- Computation calculus bridging a formalization gap.- An elementary derivation of the alternating bit protocol.- A set-theoretic model for real-time specification and reasoning.- Polytypic downwards accumulations.- Formal derivation of a loadable asynchronous counter.- A semantic approach to secure information flow.- Slack elasticity in concurrent computing.- Beyond fun: Order and membership in polytypic imperative programming.- Convergence of program transformers in the metric space of trees.- Realizability of monotone coinductive definitions and its application to program synthesis.- Calculating a round-robin scheduler.