It's 3mm thick PVC edgebanding. You buy it by the roll. It's applied with an edgebander.
We actually have a new $70,000 edgebander being set up by a technician right now to run 3mm edgebanding. The cutters alone that trim the edges after they are applied cost $1800.