01245nam--2200385---450-99000307451020331620080616125625.03-540-21002-4000307451USA01000307451(ALEPH)000307451USA0100030745120080305d2003----km-y0itay50------baengDEa---||||001yyVerificationtheory and practiceessays dedicated to Zohar Manna on the occasion of His 64th birthdayNachum Dershowitz (ed.)Berlin (etc.)Springercopyr. 2003XV, 782 p.ill.24cmLecture Notes in Computer ScienceFestschrift27722001Lecture Notes in Computer Science2772Software per computer005.1DERSHOWITZ,NachumITsalbcISBD990003074510203316001 LNCS 277230998/CBS00100114945BKSCIANGELA9020080305USA010930ANGELA9020080417USA011542ANGELA9020080616USA011253ANGELA9020080616USA011256Verification1023384UNISA