01361nam2-2200421li-450-99000023730020331620091113095324.03-540-94129-00023730USA010023730(ALEPH)000023730USA010023730200199509059--------y0itay0103----baengUSLogic for applicationsAnil Nerode, Richard A. ShoreNew York [etc.]Springer-Verlag,copyr. 1993XVII, 365 p.ill.24 cmText and monographs in computer science1700100228712001Text and monographs in computer science17Elaboratori elettroniciProgrammazioneLogica matematica005.1NERODE,Anil48991SHORE,Richard A.542234Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000237300203316001.6 TMC (17)17201/CBS001.600105379BKSCI1995090520001110USA011715ALANDI9020010220USA01113420020403USA011632PATRY9020040406USA011617RSIAV79020091113USA010953Logic for applications880751UNISA