Unifying Theories of Programming : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers /

Benzer Materyaller

• Unifying Theories of Programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /
  Yazar:: Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi
  Baskı/Yayın Bilgisi: (2013, c2013)
• Unifying Theories of Programming : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers /
  Yazar:: Steve Dunne, Bill Stoddart
  Baskı/Yayın Bilgisi: (2006, c2006)
• Unifying Theories of Programming : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings /
  Yazar:: Shengchao Qin
  Baskı/Yayın Bilgisi: (2010, c2010)
• 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 /
  Yazar:: Zhiming Liu, Jim Woodcock, Huibiao Zhu
  Baskı/Yayın Bilgisi: (2013, c2013)
• Implementation and Application of Functional Languages : 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /
  Yazar:: Andrew Butterfield, Clemens Grelck, Frank Huch
  Baskı/Yayın Bilgisi: (2006, c2006)