Procedural terrain generation involves using fractals, erosion simulation, elevation data, etc, and there are many programmes capable of doing it.
However, based on the images in your post it seem like you are just looking for procedural displacement mapping using noise. This can be done in different ways depending on the software being used and your needs. I will just note that there are 3 different types: the top image has normal displacement, and the bottom 3 seem to have volume displacement or maybe even vector displacement. Do a bit of research on each and find out which is best for you. Plenty of software can do them, including most major 3D modelling packages such as Blender, Maya, 3DS Max, Cinema4D, Houdini, etc. Blender and Maya will be easier because of all the tutorials around, and Houdini is particularly good, but has a much larger learning curve.