Program Analysis and Compilation, Theory and Practice : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /

Ítems similars

• Verification: Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday /
  per: Nachum Dershowitz
  Publicat: (2003, c2003)
• Programming Languages and Systems : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings /
  per: Mooly Sagiv
  Publicat: (2005, c2005)
• Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday /
  per: Zhiming Liu, Jim Woodcock, Huibiao Zhu
  Publicat: (2013, c2013)
• Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday /
  per: Robert L. Constable, Alexandra Silva
  Publicat: (2012, c2012)
• Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday /
  per: Jean-Raymond Abrial, Uwe Glässer
  Publicat: (2009, c2009)