Articles liés à Unifying Theories of Programming: Second International...
Unifying Theories of Programming: Second International Symposium, Utp 2008 Dublin, Ireland, September 8-10, 2008 Revised Selected Papers - Couverture souple
Synopsis
Constitutes the post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trinity College, Dublin, Ireland, in September 2008. These papers reaffirm the significance of the ongoing UTP project and encourage efforts to advance it by providing a focus for the sharing of results.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Unifying Theories of Programming: Second International...
Image d'archives
Unifying Theories of Programming (Paperback)
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10 : 3642145205
ISBN 13 : 9783642145209
Neuf
Paperback
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. This book constitutes the thoroughly refereed proceedings of the Second Int- national Symposium on Unifying Theories of Programming, UTP 2008, held at Trinity College, Dublin, Ireland, in September 2008. This symposium followed on the success of the ?rst held at Walworth Castle in 2006. Based on the pioneering work on unifying theories of programming of Tony Hoare, He Jifeng, and others, the aims of this symposium series are to continue to rea?rm the signi?cance of the ongoing UTP project, to encourage e?orts to advance it by providing a focus for the sharing of results by those already actively contributing, and to raise awareness of the bene?ts of such a unifying theoretical framework among the wider computer science and software engineering communities. There were two invited talks, one of which appears here in full, the other in abstractform.We wouldliketo warmlythank bothJifengHe andRalph-Johann Back for their enthusiastic and engaged participation in this event. Constitutes the post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trinity College, Dublin, Ireland, in September 2008. These papers reaffirm the significance of the ongoing UTP project and encourage efforts to advance it by providing a focus for the sharing of results. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783642145209
Acheter neuf
EUR 71,17
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Unifying Theories of Programming: Second International Symposium, Utp 2008 Dublin, Ireland, September 8-10, 2008 Revised Selected Papers
Edité par
Springer-Verlag New York Inc, 2010
ISBN 10 : 3642145205
ISBN 13 : 9783642145209
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 278 pages. 9.00x6.00x0.75 inches. In Stock. N° de réf. du vendeur x-3642145205
Acheter neuf
EUR 81,68
Expédition à EUR 11,81
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Unifying Theories of Programming
Edité par
Springer Berlin Heidelberg, 2010
ISBN 10 : 3642145205
ISBN 13 : 9783642145209
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Refinement Calculus as a Theory of Contracts (Invited Paper).- Transaction Calculus.- UTP and Temporal Logic Model Checking.- A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming.- Reasoning about Loops in Total and Gene. N° de réf. du vendeur 5050537
Acheter neuf
EUR 48,74
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Unifying Theories of Programming
Vendeur : Books Puddle, Woodside, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. ix + 279 1st Edition. N° de réf. du vendeur 263055872
Acheter neuf
EUR 109,97
Expédition à EUR 3,56
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Unifying Theories of Programming
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. ix + 279 Illus. N° de réf. du vendeur 5840607
Acheter neuf
EUR 112,44
Expédition à EUR 7,68
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Unifying Theories of Programming : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
Edité par
Springer-Verlag GmbH, 2010
ISBN 10 : 3642145205
ISBN 13 : 9783642145209
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Seiten: 278 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. N° de réf. du vendeur 8219649/12
Acheter D'occasion
EUR 40,86
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Unifying Theories of Programming : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
Edité par
Springer-Verlag GmbH, 2010
ISBN 10 : 3642145205
ISBN 13 : 9783642145209
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Hervorragend. Zustand: Hervorragend | Seiten: 278 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. N° de réf. du vendeur 8219649/1
Acheter D'occasion
EUR 42,09
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)