In so cal, if you did it as owner build I think this would be reasonable, and this is just very rough estimates. I recently finished an OB build, some would probably be cheaper, some might be more.
Heater, pump, filter, panel, swg, lights, misc - maybe 5k (really depends on what you choose)
The plumbing and gas would run 3-4k
Electric 1k
Steel approx 1500
Shotcrete approx 5k
tile 2k (although looks like a double waterline? so maybe double it)
Coping 3k (and double it, for that style above) *note, I realize travertine is cheaper in your neck of the woods, so I'm just ball parking the price on that, I could be off.
Looks like pebbletec plaster - approx 5k
Deck - I'm guessing maybe 6 per ft if you can find someone reasonable. Travertine is pretty cheap (comparatively speaking), in So FL. I paid 3.50 per ft and about 2.50 for install for 1300 sq ft, I bet you can find it for a decent price without a ton of trouble since it's so common in your region.