timestamps umwandeln

[Florian]

Hallo,
ich möchte einen mit time() erzeugten und abgespeicherten timestamp wieder in ein normales Format umwandeln.
Gibt es in php so eine Funktion?
ich kenne nur strtotime(), aber ich bräuchte das Gegenteil davon, am Besten mit denselben Parametern wie bei date().