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

Antzeko izenburuak

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