14 Especificação do BubbleSort var as:seq N Z; con A; and A = bag as as:[ ]
{"Image DocumentName": "Especifica\u00e7\u00e3o do BubbleSort", "Image ImageDescription": "var as:seqNZ; con A; and A = bag as. as:[ ]", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}