Cover Image

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)
Format: eBook
Language: English
Published: Berlin ; New York : Springer, 2009.
Physical Description: 1 online resource (x, 244 pages) : illustrations.
Series: Lecture notes in computer science ; 5533.
LNCS sublibrary. Programming and software engineering.