Order Total (1 Item Items):
Shipping Destination:
Shengchao Qin (61 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (61)
- 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 (54)
- As New, Fine or Near Fine (6)
- Very Good or Good (1)
- 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 (61)
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (27)
- Not Print on Demand (43)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
-
Condition: As New. Unread book in perfect condition.
-
Unifying Theories of Programming (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 364216689X ISBN 13: 9783642166891
Paperback. Condition: new. Paperback. 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. A book that constitutes the refereed proceedings of the Third International Symposium on Unifying Theories of Programming, UTP 2010, that was held in Shanghai, China. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
-
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Dependable Software Engineering. Theories, Tools, and Applications
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, ... (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Condition: As New. Unread book in perfect condition.
-
Condition: NEW.
-
Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, Icfem 2019, Shenzhen, China, November 5-9, 2019, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. . (Lecture Notes in Computer Science, 6991)
Seller: Hard To Find Editions, Bristol, AVON, United Kingdom
Seller rating 4 out of 5 stars
First Edition
Soft cover. Condition: Very Good. 1st Edition. This book has been read, but is in a clean and very good condition. All pages are intact with no highlighting or writing contained within. The spine remains undamaged with tight binding. Fast dispatch within and from the UK. 100% money back guarantee.
-
Dependable Software Engineering. Theories, Tools, and Applications
Language: English
Published by Springer Nature Switzerland AG, CH, 2021
ISBN 10: 3030912647 ISBN 13: 9783030912642
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. 1st ed. 2021.
-
Formal Methods And Software Engineering
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New.
-
-
Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, Icfem 2019, Shenzhen, China, November 5-9, 2019, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, Setta 2021, Beijing, China, November 25?27, 2021, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
-
Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 62.50
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Unifying Theories of Programming: Third International Symposium, Utp 2010, Shanghai, China, November 15-16, 2010, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2010
ISBN 10: 364216689X ISBN 13: 9783642166891
Paperback. Condition: Brand New. 308 pages. 9.25x6.25x0.60 inches. In Stock.
-
Dependable Software Engineering. Theorie
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New.
-
Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, Setta 2021, Beijing, China, November 25?27, 2021, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Condition: New.
-
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, Icfem 2019, Shenzhen, China, November 5-9, 2019, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2019
ISBN 10: 3030324087 ISBN 13: 9783030324087
Paperback. Condition: Brand New. 450 pages. 9.25x6.10x1.34 inches. In Stock.
-
Condition: New. pp. xiv + 670.
-
-
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, Icfem 2011, Durham, Uk, October 26-28, 2011. Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2011
ISBN 10: 3642245587 ISBN 13: 9783642245589
Paperback. Condition: Brand New. 2011 edition. 670 pages. 9.00x6.00x1.50 inches. In Stock.
-
Condition: New. 1st ed. 2021 edition NO-PA16APR2015-KAP.
-
Condition: NEW.
-
Condition: New.
