GPS & UTC time conversion?

[jackbk]

you need to import datetime

import datetime
import time
gps = 1180344041
print(time.strftime("%b %d %Y %H:%M:%S", time.gmtime(gps)))

strftime reference here: http://strftime.org/

Thank you for your answer, but this can not solve my question.
In your Python code, the result is : May 28 2007 09:20:41
This result may be for UTC time (started from January 1, 1970), not GPS time (started from January 6, 1980)