paperback. Etat : Very Good. Minor cover wear. No markings. Always securely packed. Professional booksellers since 1994. Satisfaction guaranteed. N� de r�f. du vendeur 019648

Contacter le vendeur

Acheter D'occasion

EUR 44,61

Autre devise

Frais de port : EUR 3,98

Vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, ... (Lecture Notes in Computer Science, 2297)

Backhouse, Roland; Gibbons, Jeremy; Crole, Roy

Edit� par Springer, 2002

ISBN 10 : 3540436138 ISBN 13 : 9783540436133

Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur ABLIING23Mar3113020167596

Contacter le vendeur

Acheter neuf

EUR 54,21

Autre devise

Frais de port : EUR 3,53

Vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop Oxford, Uk, April 10-14, 2000, Revised Lectures

School on Algebraic and Co-Algebraic Methods in the Mathematics of pro; Crole, Roy L. (EDT); Gibbons, Jeremy (EDT)

Edit� par Springer, 2002

ISBN 10 : 3540436138 ISBN 13 : 9783540436133

Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

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

Contacter le vendeur

Acheter neuf

EUR 55,43

Autre devise

Frais de port : EUR 2,33

Vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, ... (Lecture Notes in Computer Science, 2297)

Backhouse, Roland; Gibbons, Jeremy; Crole, Roy

Edit� par Springer, 2002

ISBN 10 : 3540436138 ISBN 13 : 9783540436133

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

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

Contacter le vendeur

Acheter neuf

EUR 61,49

Autre devise

Frais de port : EUR 14,08

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Roland Backhouse

Edit� par Springer Berlin Heidelberg Apr 2002, 2002

ISBN 10 : 3540436138 ISBN 13 : 9783540436133

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 -Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint calculus, universal algebra, category theory, and allegory theory.This textbook-like tutorial presents, besides an introduction, eight coherently written chapters by leading authorities on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, algebraic methods for optimization problems, and temporal algebra. 404 pp. Englisch. N� de r�f. du vendeur 9783540436133

Contacter le vendeur

Acheter neuf

EUR 53,49

Autre devise

Frais de port : EUR 23

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop Oxford, Uk, April 10-14, 2000, Revised Lectures

School on Algebraic and Co-Algebraic Methods in the Mathematics of pro; Crole, Roy L. (EDT); Gibbons, Jeremy (EDT)

Edit� par Springer, 2002

ISBN 10 : 3540436138 ISBN 13 : 9783540436133

Neuf Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

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

Contacter le vendeur

Acheter neuf

EUR 61,48

Autre devise

Frais de port : EUR 17,62

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

Roland Backhouse

Edit� par Springer Berlin Heidelberg, 2002

ISBN 10 : 3540436138 ISBN 13 : 9783540436133

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint calculus, universal algebra, category theory, and allegory theory.This textbook-like tutorial presents, besides an introduction, eight coherently written chapters by leading authorities on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, algebraic methods for optimization problems, and temporal algebra. N� de r�f. du vendeur 9783540436133

Contacter le vendeur