Shengchao (72 results)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 59.92
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 68.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 23.82
US$ 16.55 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. German language. 7.48x4.80x0.47 inches. In Stock.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 70.04
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
- Softcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
US$ 77.40
Free ShippingShips within U.S.A.Quantity: 1 available
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.…
Tóngdào. Arbeitsheft 1: Unterrichtswerk für Chinesisch. Zu den Lektionen 1-10
Guber-Dorsch, Barbara/ Kraemer, Heike/ Shengchao, Li/ Usov, Sabine/ Jiang, Wu/ Neder, Christina
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 32.19
US$ 13.24 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. German language. 8.59x5.76x0.74 inches. In Stock.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 65.55
US$ 20.51 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
T?ngd?o. Arbeitsheft 1: Unterrichtswerk f?r Chinesisch. Zu den Lektionen 1-10
Guber-Dorsch, Barbara; Kraemer, Heike; Shengchao, Li; Usov, Sabine; Jiang, Wu; Neder, Christina
- Softcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 38.79
US$ 8.61 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 68.94
US$ 19.86 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 76.32
US$ 14.95 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
US$ 82.28
US$ 10.69 shippingShips from Ireland to U.S.A.Quantity: 15 available
Condition: New.
T?ngd?o. Arbeitsheft 1: Unterrichtswerk f?r Chinesisch. Zu den Lektionen 1-10
Guber-Dorsch, Barbara; Kraemer, Heike; Shengchao, Li; Usov, Sabine; Jiang, Wu; Neder, Christina
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 45.42
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 76.30
US$ 19.86 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
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
Qin, Shengchao (EDT); Woodcock, Jim (EDT); Zhang, Wenhui (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 101.62
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 67.02
US$ 39.39 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019.The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods.…
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 101.15
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 91.65
US$ 16.55 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 308 pages. 9.25x6.25x0.60 inches. In Stock.
- Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
US$ 98.87
US$ 10.50 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 96.07
US$ 16.55 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 450 pages. 9.25x6.10x1.34 inches. In Stock.
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 106.35
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. xiv + 670.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 93.74
US$ 20.51 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 67.02
US$ 48.39 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.…
Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, Setta 2021, Beijing, China, November 25?27, 2021, Proceedings
Qin, Shengchao (EDT); Woodcock, Jim (EDT); Zhang, Wenhui (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 111.59
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, Setta 2021, Beijing, China, November 25?27, 2021, Proceedings
Qin, Shengchao (EDT); Woodcock, Jim (EDT); Zhang, Wenhui (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 97.13
US$ 19.86 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 98.26
US$ 19.86 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 2011 edition. 670 pages. 9.00x6.00x1.50 inches. In Stock.
- Softcover
- First Edition
Seller: Hard To Find Editions, Bristol, AVON, United KingdomHard To Find Editions
Contact seller5-star sellerCondition: Used - Very good
US$ 54.39
US$ 63.56 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
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.
Tóngdào neu -Language: chinese
Czernik, Michael; Friedrich, Claudia; Guber-Dorsch, Barbara; Hoppe, Laura; Kraemer, Heike; Lemke, Manuel; Shengchao, Li; Tianshu, Lü; Schlieper, Sabine; Usov, Sabine; Wittek, Kathleen; Jiang, Wu; Neder, Christina
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 54.28
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 107.09
US$ 14.95 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, Setta 2021, Beijing, China, November 25?27, 2021, Proceedings
Qin, Shengchao (EDT); Woodcock, Jim (EDT); Zhang, Wenhui (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 106.58
US$ 19.86 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 120.65
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Condition: New. pp. viii + 308 1st Edition.
