Research Catalog

Languages: from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday

Title
Languages: from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday / Orna Grumberg [and others] (eds.).
Publication
Berlin : Springer, 2009.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
Book/TextRequest in advance QA76.7 .L383 2009gOff-site

Holdings

Details

Additional Authors
  • Grumberg, Orna.
  • Francez, Nissim.
Description
x, 244 pages : illustrations; 24 cm.
Series Statement
  • Lecture notes in computer science, 0302-9743 ; 5533
  • Festschrift
Uniform Title
  • Lecture notes in computer science ; 5533.
  • Lecture notes in computer science. Festschrift.
Subject
  • Programming languages (Electronic computers)
  • Formale Sprache > Kongress > Haifa <2009>
  • Natürliche Sprache > Linguistische Datenverarbeitung > Kongress > Haifa <2009>
  • Programmverifikation > Kongress > Haifa <2009>
Note
  • International conference proceedings.
  • Festschrift.
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
  • 9783642017476 (pbk.)
  • 3642017479 (pbk.)
OCLC
  • 351305713
  • ocn351305713
  • SCSB-5474140
Owning Institutions
Columbia University Libraries