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

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

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

Couverture souple

ISBN 10 : 3540438572 ISBN 13 : 9783540438571

Editeur : Springer, 2008

Afficher les exemplaires de cette �dition comportant l'ISBN

5 D'occasion

De EUR 24,07

11 Neuf

De EUR 58,64

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.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

� propos de la quatri�me de couverture

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2008
Langue: anglais
ISBN 10: 3540438572
ISBN 13: 9783540438571
Reliure: Broch�
Nombre de pages: 420
�diteur: Moller Bernhard
Coordonn�es du fabricant: Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne

Acheter D'occasion

�tat : Satisfaisant

A copy that has been read, remains...

Afficher cet article

EUR 24,07

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 58,64

Exp�dition �EUR 5,96
Exp�dition depuis Royaume-Uni vers Etats-Unis

Ajouter au panier

R�sultats de recherche pour Mathematics of Program Construction: 6th International...

Image fournie par le vendeur

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

Edit� par Springer, 2002

ISBN 10 : 3540438572 ISBN 13 : 9783540438571

Ancien ou d'occasion Couverture souple

Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : 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. N� de r�f. du vendeur OTV.3540438572.G

Contacter le vendeur

Acheter D'occasion

EUR 24,07

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

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

Edit� par Springer Berlin / Heidelberg, 2002

ISBN 10 : 3540438572 ISBN 13 : 9783540438571

Ancien ou d'occasion Couverture souple

Vendeur : Better World Books, Mishawaka, IN, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : 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. N� de r�f. du vendeur 1826293-6

Contacter le vendeur

Acheter D'occasion

EUR 25,50

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

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];

Edit� par Springer, 2002

ISBN 10 : 3540438572 ISBN 13 : 9783540438571

Ancien ou d'occasion Paperback

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. N� de r�f. du vendeur UTD14a2474

Contacter le vendeur

Acheter D'occasion

EUR 21,56

Exp�dition �EUR 6,24
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

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

Moller, Bernhard (EDT)

Edit� par Springer, 2002

ISBN 10 : 3540438572 ISBN 13 : 9783540438571

Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : As New. Unread book in perfect condition. N� de r�f. du vendeur 986419

Contacter le vendeur

Acheter D'occasion

EUR 61,13

Exp�dition �EUR 2,36
Exp�dition nationale�: Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

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

Boiten, Eerke A.

Edit� par Springer 2002-06, 2002

ISBN 10 : 3540438572 ISBN 13 : 9783540438571

Neuf PF

impression � la demande

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

PF. Etat : 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. N� de r�f. du vendeur 6666-IUK-9783540438571

Contacter le vendeur

Acheter neuf

EUR 58,64

Exp�dition �EUR 5,96
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 20 disponible(s)

Ajouter au panier

Image fournie par le vendeur

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

Moller, Bernhard (EDT)

Edit� par Springer, 2002

ISBN 10 : 3540438572 ISBN 13 : 9783540438571

Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 986419-n

Contacter le vendeur

Acheter neuf

EUR 64,10

Exp�dition �EUR 2,36
Exp�dition nationale�: Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Mathematics of Program Construction

Bernhard M�ller

Edit� par Springer Berlin Heidelberg, Springer Jun 2002, 2002

ISBN 10 : 3540438572 ISBN 13 : 9783540438571

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : 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. N� de r�f. du vendeur 9783540438571

Contacter le vendeur

Acheter neuf

EUR 53,49

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

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

Moller, Bernhard (EDT)

Edit� par Springer, 2002

ISBN 10 : 3540438572 ISBN 13 : 9783540438571

Neuf Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 986419-n

Contacter le vendeur

Acheter neuf

EUR 61,68

Exp�dition �EUR 17,91
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

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

Edit� par Springer, 2002

ISBN 10 : 3540438572 ISBN 13 : 9783540438571

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In English. N� de r�f. du vendeur ria9783540438571_new

Contacter le vendeur

Acheter neuf

EUR 68,81

Exp�dition �EUR 13,48
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

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

Moller, Bernhard (EDT)

Edit� par Springer, 2002

ISBN 10 : 3540438572 ISBN 13 : 9783540438571

Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : As New. Unread book in perfect condition. N� de r�f. du vendeur 986419

Contacter le vendeur

Acheter D'occasion

EUR 67,57

Exp�dition �EUR 17,91
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

There are 6 autres exemplaires de ce livre sont disponibles

Afficher tous les r�sultats pour ce livre

Articles li�s � Mathematics of Program Construction: 6th International...

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

Synopsis

� propos de la quatri�me de couverture

R�sultats de recherche pour Mathematics of Program Construction: 6th International...

Acheter D'occasion

Acheter D'occasion

Acheter D'occasion

Acheter D'occasion

Acheter neuf

Acheter neuf

Acheter neuf

Acheter neuf

Acheter neuf

Acheter D'occasion

There are 6 autres exemplaires de ce livre sont disponibles