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

Benzer Materyaller

• Verification: Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday /
  Yazar:: Nachum Dershowitz
  Baskı/Yayın Bilgisi: (2003, c2003)
• Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday /
  Yazar:: Zhiming Liu, Jim Woodcock, Huibiao Zhu
  Baskı/Yayın Bilgisi: (2013, c2013)
• Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday /
  Yazar:: Robert L. Constable, Alexandra Silva
  Baskı/Yayın Bilgisi: (2012, c2012)
• 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 /
  Yazar:: Mooly Sagiv
  Baskı/Yayın Bilgisi: (2005, c2005)
• Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday /
  Yazar:: Jean-Raymond Abrial, Uwe Glässer
  Baskı/Yayın Bilgisi: (2009, c2009)