01154nam2-2200349---450-99000332513020331620091005135256.0978-3-642-01747-6000332513USA01000332513(ALEPH)000332513USA0100033251320091005d2009----km-y0itay50------baengDEa---||||001yyLanguages: from formal to naturalessays dedicated to Nissim Francez on the occasion of his 65th birthdayOrna Grumberg...[et al.] (Eds.)Berlin [etc.]Springercopyr. 2009VIII, 244 p.ill.24 cmLecture notes in computer scienceFestschrift55332001Lecture notes in computer science5533Software per computerProgrammazione005.1GRUMBERG,Orna67499ITAsalbcISBD990003325130203316001 LNCS 553338335/CBS00100219441BKSCIRSIAV79020091005USA011352Languages: from formal to natural1121429UNISA