Konverter Time() til rigtig tid-dato

Jeg har en informationer i min database, der er tidsangivet med time funktionen i PHP:
eksempel:

<?
$stamp = time();
echo $stamp;
?>

giver: 1059580608

Jeg er igang med at lave et lille webfront end til databasen, hvori den skal udskrive de forskellige data og deri også tidspunktet.

Mit spørgsmål går derfor på hvordan jeg får lavet overstående tal: 1059580608 om til eksempel:

18:18 - 30 Juli 2003

Det burde da være muligt, så vidt jeg har forstået på det firma der laver programmet der logger i mysql databasen.

På forhånd tak
topsite