LLa spécification formelle avec zLa spécification formelle avec zde David LightfootEdiciones (1)La spécification formelle avec z (1994)Teknea · francésMás obras de David LightfootCComputer programming in PascalComputer programming in PascalThe language lotteryPPascal (ISO/UCSD)Pascal (ISO/UCSD)
