01202nam 2200361 450 9900008421802033163-540-1803-60084218USA010084218(ALEPH)000084218USA01008421820020104d--------km-y0itay0103----baengDE||||||||001yyLogic of programming and calculi of discrete designinternational summer schooldirected by F.L. Bauer ...<et al.>edited by Manfred BroyBerlinSpringerc1987413 p.24 cmNATO ASI seriesSeries F Computer and systems sciences362001NATO ASI seriesSeries F Computer and systems sciences36Linguaggi formaliCongressi1986005.131BROY,ManfredITsalbcISBD990000842180203316005.131 LOG10594 ING005.131BKTECPATTY9020020104USA01150920020403USA011729PATRY9020040406USA011658Logic of programming and calculi of discrete design968008UNISA