Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 44,45
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 43,26
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 48,61
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 45,64
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 45,63
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 60,82
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. 156.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 51,48
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 62,73
Quantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 2015 edition. 152 pages. 9.00x6.00x0.50 inches. In Stock.
Edité par Springer International Publishing, Springer International Publishing, 2015
ISBN 10 : 3319148052 ISBN 13 : 9783319148052
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 42,80
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with numerous formal notations and theories of programming, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication.
Edité par Springer International Publishing, 2015
ISBN 10 : 3319148052 ISBN 13 : 9783319148052
Langue: anglais
Vendeur : preigu, Osnabrück, Allemagne
EUR 41,25
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Unifying Theories of Programming | 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers | David Naumann | Taschenbuch | xi | Englisch | 2015 | Springer International Publishing | EAN 9783319148052 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 62,98
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand 156.
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 64,24
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND 156.