Order Total (1 Item Items):
Shipping Destination:
Unifying Theories Programming Third (5 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (5)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (4)
- As New, Fine or Near Fine (1)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (5)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (1)
- Not Print on Demand (5)
Language (1)
Price
- Any Price
- Under US$ 25 (No further results match this refinement)
- US$ 25 to US$ 50 (No further results match this refinement)
- Over US$ 50
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Condition: New.
-
Condition: New. SUPER FAST SHIPPING.
-
Unifying Theories of Programming: Third International Symposium, Utp 2010, Shanghai, China, November 15-16, 2010, Proceedings
Published by Springer-Verlag New York Inc, 2010
ISBN 10: 364216689X ISBN 13: 9783642166891
Language: English
US$ 91.42
Convert currencyUS$ 34.13 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 308 pages. 9.25x6.25x0.60 inches. In Stock.
-
Unifying Theories of Programming : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings
Published by Springer, Berlin, Springer Berlin Heidelberg, Springer, 2010
ISBN 10: 364216689X ISBN 13: 9783642166891
Language: English
US$ 96.09
Convert currencyUS$ 74.12 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketTaschenbuch. Condition: Neu. Neuware - This book constitutes the proceedings of the Third International Symposium on Unifying Theories of Programming (UTP 2010) held at East China Normal University,Shanghai,China,November15 16,2010inconjunctionwiththe12th International Conference on Formal Engineering Methods (ICFEM 2010). This symposium followed on the success of the rst one, held at Walworth Castle (Durham, UK) in 2006, and the second, held at Trinity College (Dublin, Ireland) in 2008. Based on the pioneering work of C.A.R. Hoare, He Jifeng, and others on unifying theories of programming, the aims of this symposium series are, as stated in UTP 2008, 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. TheprogramfortheUTP2010symposiumincludesoneinvitedtutorial,three invited talks, and 12 regular paper presentations. I would like to warmly thank ourinvitedspeakers,AnaCavalcanti,HeJifeng,Je SandersandJimWoodcock, as well asall the authors,for their enthusiasticand engagedparticipation in this event.
-
Unifying Theories of Programming : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings
Published by Springer-Verlag GmbH, 2010
ISBN 10: 364216689X ISBN 13: 9783642166891
Language: English
US$ 64.30
Convert currencyUS$ 124.65 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
