Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday - Programming and Software Engineering 5533 (Paperback)
  • Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday - Programming and Software Engineering 5533 (Paperback)
zoom

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday - Programming and Software Engineering 5533 (Paperback)

(volume editor), (volume editor), (volume editor), (volume editor)
£59.99
Paperback 245 Pages / Published: 12/05/2009
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
The symposium "Languages: From Formal to Natural," celebrating the 65th birthday of Nissim Francez, was held on May 24-25, 2009 at the Technion, Haifa. The symposium consisted of two parts, a veri?cation day and a language day, and covered all areas of Nissim's past and present research interests, areas which he has inspiringly in?uenced and to which he has contributed so much. This volume comprises severalpapers presentedat the symposium, as wellas additional articles that were contributed by Nissim's friends and colleagues who were unable to attend the event. We thank the authors for their contributions. Wearealsogratefultothereviewersfor their dedicated and timely work. Nissim Francez was born on January 19, 1944. In 1962 he started his mat- matical education at the Hebrew University. He received a BSc in Mathematics in 1965, and, after four years of military service, started his MSc studies in Computer Science at the Weizmann Institute of Science under the supervision of Amir Pnueli. After completing the MSc program in 1971, Nissim continued his studies toward a PhD, again, at the Weizmann Institute of Science and, again, under the supervisionof Amir Pnueli. Nissim wasawardeda PhDin Computer Science in 1976.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642017476
Number of pages: 245
Weight: 408 g
Dimensions: 235 x 155 x 15 mm
Edition: 2009 ed.


MEDIA REVIEWS
From the reviews: "It includes a wide variety of papers on linguistics and the foundations of verification, written by top people in the field. This review only discusses the most interesting contributions. ... On the linguistic side, I enjoyed reading Winter, Lavie, and MacWhinney's paper, 'Formal grammars of early language,' for its experimental approach to the development of grammar in child language development. ... libraries should look to acquire this text for their collections." (K. Lodaya, ACM Computing Reviews, March, 2010)

You may also be interested in...

Boosting
Added to basket
£32.00
Paperback
A First Course in Network Theory
Added to basket
Discrete Mathematics for Computing
Added to basket
MATLAB Demystified
Added to basket
£21.99
Paperback
Discrete Mathematics
Added to basket
Data Analysis with Open Source Tools
Added to basket
Logic in Computer Science
Added to basket
The Algorithm Design Manual
Added to basket
Concrete Mathematics
Added to basket
Bayesian Methods for Hackers
Added to basket
Modelling Computing Systems
Added to basket
The Elements of Statistical Learning
Added to basket
Foundation Mathematics
Added to basket
Lambda-Calculus and Combinators
Added to basket

Please sign in to write a review

Your review has been submitted successfully.