Mathematics of Program Construction, Kartoniert / Broschiert
Mathematics of Program Construction
- 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings
(soweit verfügbar beim Lieferanten)
- Herausgeber:
- Eerke A. Boiten, Bernhard Möller
- Verlag:
- Springer, 06/2002
- Einband:
- Kartoniert / Broschiert, Paperback
- Sprache:
- Englisch
- ISBN-13:
- 9783540438571
- Artikelnummer:
- 7676112
- Umfang:
- 280 Seiten
- Copyright-Jahr:
- 2002
- Gewicht:
- 427 g
- Maße:
- 235 x 155 mm
- Stärke:
- 15 mm
- Erscheinungstermin:
- 26.6.2002
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Weitere Ausgaben von Mathematics of Program Construction |
Preis |
|---|
Klappentext
Invited Talks.- Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm.- Some Results in Dynamic Model Theory.- Mathematics in Computer Science Curricula.- Contributed Papers.- Logical Relations and Galois Connections.- Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications.- Fine Control of Demand in Haskell.- Reasoning about Timeouts.- Eternity Variables to Simulate Specifications.- Constructing Tournament Representations: An Exercise in Pointwise Relational Programming.- Type-Indexed Data Types.- Verification of Java's AbstractCollection Class: A Case Study.- Solving Regular Path Queries.- Inverting Functions as Folds.- From Kleene Algebra to Refinement Algebra.
