s = '4:34.234'
hours, minutes, seconds = (['0', '0'] + s.split(':'))[-3:]
hours = int(hours)
minutes = int(minutes)
seconds = float(seconds)
miliseconds = int(3600000 * hours + 60000 * minutes + 1000 * seconds)
Как преобразовать формат времени в миллисекунды и обратно в Python?