Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
EUR 35,81
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 56,25
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
EUR 58,64
Quantité disponible : 5 disponible(s)
Ajouter au panierPaperback or Softback. Etat : New. Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings. Book.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 60,78
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 58,83
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 57,24
Quantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 58,81
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 66,74
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Langue: anglais
Edité par Springer, Berlin, Springer, 2006
ISBN 10 : 3540356312 ISBN 13 : 9783540356318
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 79,32
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware - This book constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia in July 2006. The book collects 22 revised full papers presented with 3 invited talks. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.