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

Boiten, Eerke A.; Möller, Bernhard

9783540438571: 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

ISBN 10: 3540438572 ISBN 13: 9783540438571

Verlag: Springer, 2008

Alle Exemplare dieser ISBN-Ausgabe

5 Gebraucht

Von EUR 20,98

12 Neu

Von EUR 60,51

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag: Springer
Erscheinungsdatum: 2008
Sprache: Englisch
ISBN 10: 3540438572
ISBN 13: 9783540438571
Einband: Taschenbuch
Anzahl der Seiten: 276
Kontakt zum Hersteller: ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Gebraucht kaufen

Zustand: Gut

Ex-library paperback in very nice...

Diesen Artikel anzeigen

EUR 20,98

EUR 6,06 Versand
Versand innerhalb von USA

In den Warenkorb

Neu kaufen

Diesen Artikel anzeigen

EUR 60,51

EUR 13,86 Versand
Versand von Vereinigtes K�nigreich nach USA

In den Warenkorb

Weitere beliebte Ausgaben desselben Titels

9783662200247: Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings

Vorgestellte Ausgabe

ISBN 10: 3662200244 ISBN 13: 9783662200247
Verlag: Springer, 2014
Softcover

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 8-10, 2002. Proceedings (Lecture Notes in Computer Science)

Boiten, Eerke A. [Editor]; M�ller, Bernhard [Editor];

Verlag: Springer, 2002

ISBN 10: 3540438572 ISBN 13: 9783540438571

Gebraucht Paperback

Anbieter: GuthrieBooks, Spring Branch, TX, USA

Verk�uferbewertung 5 von 5 Sternen

Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Bestandsnummer des Verk�ufers UTD14a2474

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 20,98

EUR 6,06 Versand
Versand innerhalb von USA

Anzahl: 1 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Mathematics of Program Construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 2002 Proceedings

Boiten, Eerke A.; Möller, Bernhard

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. Bestandsnummer des Verk�ufers 1826293-6

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 31,76

Versand gratis
Versand innerhalb von USA

Anzahl: 1 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings (Lecture Notes in Computer Science, 2386)

Boiten, Eerke A.; Möller, Bernhard

Verlag: Springer, 2002

ISBN 10: 3540438572 ISBN 13: 9783540438571

Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

Zustand: New. In English. Bestandsnummer des Verk�ufers ria9783540438571_new

Verk�ufer kontaktieren

Neu kaufen

EUR 60,51

EUR 13,86 Versand
Versand von Vereinigtes K�nigreich nach USA

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Mathematics of Program Construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings

Boiten, Eerke A.

Verlag: Springer 2002-06, 2002

ISBN 10: 3540438572 ISBN 13: 9783540438571

Neu PF

Anbieter: Chiron Media, Wallingford, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

PF. Zustand: New. Bestandsnummer des Verk�ufers 6666-IUK-9783540438571

Verk�ufer kontaktieren

Neu kaufen

EUR 56,80

EUR 17,92 Versand
Versand von Vereinigtes K�nigreich nach USA

Anzahl: 10 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Mathematics of Program Construction

Bernhard M�ller

Verlag: Springer Berlin Heidelberg, Springer Jun 2002, 2002

ISBN 10: 3540438572 ISBN 13: 9783540438571

Neu Taschenbuch

Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThisvolumecontainstheproceedingsofMPC2002,thesixthinternationalc- ferenceontheMathematicsofProgramConstruction.Thisseriesofconferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- puter programs (whether implemented in hardware or software). The focus is ontechniquesthatcombineprecisionwith conciseness,enablingprogramsto be constructed by formal calculation. Within this theme, the scope of the series is verydiverse,including programmingmethodology,programspeci cationand transformation, programming paradigms, programming calculi, and progr- ming language semantics. The quality of the papers submitted to the conference was in general very high, and the number of submissions was comparable to that for the previous conference.Eachpaperwasrefereedbyatleastfour,andoftenmore,committee members. Inadditiontothe11papersselectedforpresentationbytheprogramcomm- tee, this volume contains three invited talks: Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm by Robert Giegerich (Technical University of Bielefeld, Germany), and abstracts of Some Results in Dynamic Model Theory by Dexter Kozen (Cornell Univ- sity,USA)and Mathematics in Computer Science Curricula byJeannetteWing (Carnegie Mellon University, USA). The conference took place in Dagstuhl, Germany. The previous ve conf- ences wereheld in 1989in Twente,The Netherlands, in 1992in Oxford,United Kingdom,in1995inKlosterIrsee,Germany,in1998inMarstrandnearGot eborg in Sweden, and in 2000 in Ponte de Lima, Portugal. The proceedings of these conferenceswerepublishedasLNCS375,669,947,1422,and1837,respectively. Three international events were co-located with the conference: 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. 280 pp. Englisch. Bestandsnummer des Verk�ufers 9783540438571

Verk�ufer kontaktieren