They don't need installer program. You just have to download the image from download section of RPi, follow the link above to set up the sdcard. Insert the SDcard to the device and it just boots
. FYI, you can connect the sdcard in card reader and mount it on your PC to see the partitions and contents of the sdcard.