Languages: from Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
| Author/creator | Grumberg, Orna Volume Editor |
| Other author | Kaminski, Michael Volume Editor |
| Other author | Katz, Shmuel Volume Editor |
| Other author | Wintner, Shuly Volume Editor |
| Format | Electronic |
| Publication Info | New York : Springer |
| Description | x, 245 p. 23.500 x 015.500 cm. |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) |
| Supplemental Content | Full text available from Springer Nature - Springer Computer Science eBooks 2009 English International |
| Supplemental Content | Full text available from Springer Books |
| Subjects |
| Series | Lecture Notes in Computer Science / Programming and Software Engineering Ser. |
| Summary | Annotation 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 24-25, 2009, in Haifa, Israel.The theme of the symposium was Languages: From Formal to Natural, reflecting the focus of Nissim Francez' research career, which started in program verification and the semantics of programming languages and later concentrated on natural languages and computational linguistics. The papers included in this volume cover the entire spectrum of this field of research. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9783642017476 |
| ISBN | 3642017479 (Trade Paper) Active Record |
| Standard identifier# | 9783642017476 |
| Stock number | 3642017479 00024965 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |