Proof: $C(X×Y)=C(X)⊗C(Y)$ Where I can find the proof of the following theorem:
Let $X$ and $Y$ be compact Hausdorff spaces, $C(X)$ and $C(Y)$ the space of continuous functions on $X$ and $Y$ respectively, then we have $C(X×Y)=C(X)⊗C(Y)$.

I assume that by $A \otimes B$ you mean the maximal tensor product of two C*-algebras $A,B$ (which is a completion of the tensor product of the underlying vector spaces). Let us restrict to the unital case. Then there are homomorphisms of C*-algebras $\iota_A : A \to A \otimes B$, $a \mapsto a \otimes 1$ and $\iota_B : B \to A \otimes B$, $b \mapsto 1 \otimes b$ which commute (i.e. $\iota_A(a)$ commutes with $\iota_B(b)$ for every $a \in A$, $b \in B$), and these are universal with respect to this property: If $f : A \to C$ and $g : B \to C$ are homomorphisms of unital $C^*$-algebras which commute, then there is a unique homomorphism $h : A \otimes B \to C$ of unital $C^*$-algebras such that $h \circ \iota_A = f$ and $h \circ {\iota_B} = g$.
It follows that if $A,B$ are commutative, then also $A \otimes B$ is commutative, and it is the coproduct of $A$ and $B$ in the category of commutative unital C*-algebras.
The category of compact Hausdorff spaces is equivalent to the dual of the category of commutative unital C*-algebras - via the functor given by $X \mapsto C(X)$ on objects and by $f \mapsto f^*$ on morphisms (commutative Gelfand-Naimark Theorem). Every equivalence of categories preserves products, and products in a dual category correspond to coproducts. This proves $C(X \times Y) \cong C(X) \otimes C(Y)$
