navigation of spaceships

I wonder how did they calculate the travel plan of the Mars Rover? or any
spaceships?

how did they hit the target with such precision after travelling months or
years from millions of miles away? there must be a formula, yes? they
must have a piece of computer program that does the calculation? Is the
source code in public domain? I want to learn how they do it.

thank you
-kc