The procedure is the same as with any property, in the sense that you place an offer on the property and wait for the seller (whch is a bank) to choose which offer they want to accept.
The most difficult portion of the prodecure is the find the actual property you are interested in and to get an offer in to the bank in a timely manner. Many foreclosures have multiple offers.
The property you have referenced in your question is not yet on the market. Realty Trac is a website that pulls the notices of default, meaning the owner has not paid the mortgage in a long time and the bank is in the process of filing a foreclosure. That could take a very long time, if it even in fact happens.
You need to have an agent find you the foreclosures as they come on the market by having you set up on teh auto-search option from our mulitple listing service. And don't shy away from regular pirced properties as well, sometimes they are priced competitively with the foreclosures and in better condtion.
Feel free to contact me so that I may assist you with you search.
South Florida Brokers