Coverart for item
The Resource Languages, from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday, Orna Grumberg ... [et al.] (eds.), (electronic book)

Languages, from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday, Orna Grumberg ... [et al.] (eds.), (electronic book)

Label
Languages, from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday
Title
Languages, from formal to natural
Title remainder
essays dedicated to Nissim Francez on the occasion of his 65th birthday
Statement of responsibility
Orna Grumberg ... [et al.] (eds.)
Contributor
Subject
Genre
Language
eng
Summary
Annotation
Member of
Cataloging source
GW5XE
Dewey number
005.13
Illustrations
illustrations
Index
index present
LC call number
QA76.7
LC item number
.L36 2009
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Francez, Nissim
  • Grumberg, Orna
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary, SL 2, Programming and software engineering
Series volume
5533
http://library.link/vocab/subjectName
Programming languages (Electronic computers)
Summary expansion
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
Label
Languages, from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday, Orna Grumberg ... [et al.] (eds.), (electronic book)
Instantiates
Publication
Note
  • Title from PDF t.p. (SpringerLink, viewed Aug. 14, 2009)
  • "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"--Pref
  • Festschrift
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
SPR424512042
Dimensions
unknown
Extent
1 online resource (x, 244 p.)
Form of item
online
Isbn
9783642017483
Other physical details
ill.
Specific material designation
remote
Label
Languages, from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday, Orna Grumberg ... [et al.] (eds.), (electronic book)
Publication
Note
  • Title from PDF t.p. (SpringerLink, viewed Aug. 14, 2009)
  • "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"--Pref
  • Festschrift
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
SPR424512042
Dimensions
unknown
Extent
1 online resource (x, 244 p.)
Form of item
online
Isbn
9783642017483
Other physical details
ill.
Specific material designation
remote

Library Locations

Processing Feedback ...