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...
Foto des Verkäufers
Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings (Lecture Notes in Computer Science, 2386)
Anbieter: -OnTimeBooks-, Phoenix, AZ, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Bestandsnummer des Verkäufers OTV.3540438572.G
Gebraucht kaufen
EUR 24,14
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
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. Bestandsnummer des Verkäufers 1826293-6
Gebraucht kaufen
EUR 25,57
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
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)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Bestandsnummer des Verkäufers UTD14a2474
Gebraucht kaufen
EUR 21,61
EUR 6,26 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Mathematics of Program Construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings
Print-on-DemandAnbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PF. Zustand: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Bestandsnummer des Verkäufers 6666-IUK-9783540438571
Neu kaufen
EUR 58,65
EUR 5,96 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 20 verfügbar
Foto des Verkäufers
Mathematics of Program Construction : 6th International Conference, Mpc 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 986419-n
Neu kaufen
EUR 64,27
EUR 2,36 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Mathematics of Program Construction
Verlag:
Springer Berlin Heidelberg, Springer Jun 2002, 2002
ISBN 10: 3540438572
ISBN 13: 9783540438571
Neu
Taschenbuch
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
Neu kaufen
EUR 53,49
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 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: New. Bestandsnummer des Verkäufers 986419-n
Neu kaufen
EUR 61,70
EUR 17,91 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
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)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In English. Bestandsnummer des Verkäufers ria9783540438571_new
Neu kaufen
EUR 68,83
EUR 13,48 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Mathematics of Program Construction
Anbieter: Books Puddle, Woodside, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 280. Bestandsnummer des Verkäufers 263060369
Neu kaufen
EUR 86,00
EUR 3,57 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Mathematics of Program Construction
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand pp. 280 Illus. Bestandsnummer des Verkäufers 5836110
Neu kaufen
EUR 86,73
EUR 7,76 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar