Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings: 9409 (Lecture Notes in Computer Science)
by Xuandong Li, Zhiming Liu, Wang Yi
ISBN 13: 9783319259413
Format: Paperback (340 pages) Publisher: Springer Published: 10 Nov 2015
Save for later
Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures: 10215 (Lecture Notes in Computer Science)
by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
ISBN 13: 9783319568409
Format: Paperback (276 pages) Publisher: Springer Published: 06 Apr 2017
Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures: 11430 (Lecture Notes in Computer Science)
ISBN 13: 9783030176006
Format: Paperback (237 pages) Publisher: Springer Published: 11 Jun 2019
Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers: 3407 (Lecture Notes in Computer Science)
by Keijiro Araki, Zhiming Liu
ISBN 13: 9783540253044
Format: Paperback (584 pages) Publisher: Springer Published: 13 Jun 2008
Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings: 8049 (Lecture Notes in Computer Science)
by Zhiming Liu, Jim Woodcock
ISBN 13: 9783642397172
Format: Paperback (460 pages) Publisher: Springer Published: 15 Jul 2013
Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers: 8348 (Lecture Notes in Computer Science)
by José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue
ISBN 13: 9783319076010
Format: Paperback (396 pages) Publisher: Springer Published: 30 Jul 2014
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
