Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Description
This Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birthday, contains 15 papers, written by friends and colleagues, many of whom congregated at a celebratory symposium held on May 2009, in Haifa, Israel.
Keywords
MathematicsLogicComputersProgrammingComputer ScienceLogic DesignDiscrete MathematicsInformation TechnologyHistory & PhilosophyAlgorithms
2009Book
Author(s)Orna Grumberg
PublisherSpringer Science & Business Media
ISBN9783642017476
LanguageEnglish
