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.
Acheter neuf
Afficher cet article
EUR 64,08
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour Unifying Theories of Programming: Second International...
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. N° de réf. du vendeur 8219649/12
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Unifying Theories of Programming
Edité par
Springer Berlin Heidelberg, 2010
ISBN 10 : 3642145205
ISBN 13 : 9783642145209
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. 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
Quantité disponible : 3 disponible(s)
Image fournie par le vendeur
Unifying Theories of Programming : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
Edité par
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2010
ISBN 10 : 3642145205
ISBN 13 : 9783642145209
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware - 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. N° de réf. du vendeur 9783642145209
Quantité disponible : 2 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
Quantité disponible : 2 disponible(s)
Image d'archives
Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers (Lecture Notes in Computer Science, 5713)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020219344
Quantité disponible : 1 disponible(s)
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, Mason, OH, 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
Quantité disponible : 1 disponible(s)