Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday /

Lignende værker

• 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 /
  af: Zhiming Liu, Jim Woodcock, Huibiao Zhu
  Udgivet: (2013, c2013)
• Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays /
  af: Cliff B. Jones, Zhiming Liu, Jim Woodcock
  Udgivet: (2007, c2007)
• Theory Is Forever : Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday /
  af: Juhani Karhumäki, Hermann Maurer, Gheorghe P.un, Grzegorz Rozenberg
  Udgivet: (2004, c2004)
• Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
  af: Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer
  Udgivet: (2005, c2005)
• Program Analysis and Compilation, Theory and Practice : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /
  af: Thomas Reps, Mooly Sagiv, Jörg Bauer
  Udgivet: (2007, c2007)