Languages, from formal to natural essays dedicated to Nissim Francez on the occasion of his 65th birthday /
|Other Authors:||Francez, Nissim., Grumberg, Orna., SpringerLink (Online service)|
Berlin ; New York :
1 online resource (x, 244 pages) : illustrations.
Lecture notes in computer science ;
LNCS sublibrary. Programming and software engineering.