Verwandte Artikel zu Mathematics of Program Construction: 6th International...
Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings (Lecture Notes in Computer Science, 2386, Band 2386) - Softcover
Inhaltsangabe
the IFIP WG2.1 working conference on Generic Programming, the third workshop on Constructive Methods for Parallel Programming, and the workshop on Types in Programming. We thank the organizers of these events for their interest in sharing the atmosphere of the conference.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Von der hinteren Coverseite
the IFIP WG2.1 working conference on Generic Programming, the third workshop on Constructive Methods for Parallel Programming, and the workshop on Types in Programming. We thank the organizers of these events for their interest in sharing the atmosphere of the conference.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Mathematics of Program Construction: 6th International...
Beispielbild für diese ISBN
Mathematics of Program Construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 2002 Proceedings
Verlag:
Springer Berlin / Heidelberg, 2002
ISBN 10: 3540438572
ISBN 13: 9783540438571
Gebraucht
Softcover
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Artikel-Nr. 1826293-6
Gebraucht kaufen
EUR 24,26
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Mathematics of Program Construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Artikel-Nr. 9783540438571
Neu kaufen
EUR 66,40
EUR 35,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Mathematics of Program Construction : 6th International Conference, Mpc 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Artikel-Nr. 986419
Gebraucht kaufen
EUR 154,46
EUR 18,00 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar