Liu Zhiming Editor (17 results)
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture . Computer Science and General Issues)
Jones, Cliff [Editor]; Liu, Zhiming [Editor]; Woodcock, Jim [Editor];
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Very good
£ 26.14
£ 5.22 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Lecture Notes in Computer Science)
Jones, Cliff [Editor]; Liu, Zhiming [Editor]; Woodcock, Jones [Editor];
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Very good
£ 40.95
£ 5.22 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.
Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures (Lecture Notes in . Computer Science and General Issues)
George, Chris [Editor]; Liu, Zhiming [Editor]; Woodcock, Jim [Editor];
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Very good
£ 42.27
£ 5.22 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Very good
£ 68.90
£ 5.22 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Engineering Trustworthy Software Systems: 5th International School, Setss 2019, Chongqing, China, April 2127, 2019, Tutorial Lectures
Bowen, Jonathan P. (Editor)/ Liu, Zhiming (Editor)/ Zhang, Zili (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 64.94
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 240 pages. 9.25x6.10x0.75 inches. In Stock.
Engineering Trustworthy Software Systems: Third International School, Setss 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures
Bowen, Jonathan P. (Editor)/ Liu, Zhiming (Editor)/ Zhang, Zili (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 64.94
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 240 pages. 9.25x6.10x0.51 inches. In Stock.
Domain Modeling and the Duration Calculus: Internaitonal Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
George, Chris W. (Editor)/ Liu, Zhiming (Editor)/ Woodcock, Jim (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 65.38
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 2007 edition. 235 pages. 9.25x6.25x0.50 inches. In Stock.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 66.25
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 340 pages. 9.00x6.00x0.75 inches. In Stock.
Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers (Lecture . / Programming and Software Engineering)
Fiadeiro, José Luiz (Editor) / Liu, Zhiming (Editor) / Xue, Jinyun (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 66.99
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 2014 edition. 390 pages. 9.25x6.10x0.80 inches. In Stock.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 68.00
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 414 pages. 9.25x6.00x1.00 inches. In Stock.
Theoretical Aspects of Computing ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 2729, 2022, Proceedings: 13572 (Lecture Notes in Computer Science, 13572)
Seidl, Helmut (Editor) / Liu, Zhiming (Editor) / Pasareanu, Corina S. (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 68.30
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 495 pages. 9.25x6.10x1.54 inches. In Stock.
Theoretical Aspets of Computing - Ictac 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
Jones, Cliff B. (Editor)/ Liu, Zhiming (Editor)/ Woodcock, Jones (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 68.35
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 481 pages. 9.00x6.00x1.00 inches. In Stock.
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Jones, Cliff B. (Editor)/ Liu, Zhiming (Editor)/ Woodcock, Jim (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 69.13
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 539 pages. 9.00x5.75x1.25 inches. In Stock.
Engineering Trustworthy Software Systems: 4th International School, Setss 2018, Chongqing, China, April 712, 2018, Tutorial Lectures
Bowen, Jonathan P. (Editor)/ Liu, Zhiming (Editor)/ Zhang, Zili (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 76.37
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 200 pages. 9.25x6.10x0.98 inches. In Stock.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 83.97
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 2012 edition. 224 pages. 9.00x6.00x0.75 inches. In Stock.
Engineering Trustworthy Software Systems: Second International School, SETSS 2016 Chongqing, China, March 28 - April 2, 2016 Tutorial Lectures
Bowen, Jonathan P. (Editor)/ Liu, Zhiming (Editor)/ Zhang, Zili (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 65.41
£ 30.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 257 pages. 9.00x6.00x0.75 inches. In Stock.
Dependable Software Engineering: Theories, Tools, and Applications; First International Symposium, Setta 2015, Nanjing, China, November 4-6, 2015, Proceedings
Li, Xuandong (Editor)/ Liu, Zhiming (Editor)/ Yi, Wang (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 66.25
£ 35.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 340 pages. 9.25x6.10x0.77 inches. In Stock.
