Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures /

Lignende værker

• Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday /
  af: Zhiming Liu, Jim Woodcock, Huibiao Zhu
  Udgivet: (2013, c2013)
• Theoretical Aspects of Computing -- ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings /
  af: Zhiming Liu, Jim Woodcock, Huibiao Zhu
  Udgivet: (2013, c2013)
• Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings /
  af: Jin Song Dong, Huibiao Zhu
  Udgivet: (2010, c2010)
• Formal Methods and Software Engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /
  af: Zhiming Liu, Jifeng He
  Udgivet: (2006, c2006)
• Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings /
  af: Jin Song Dong, Jim Woodcock
  Udgivet: (2003, c2003)