blob: d9c7d43ce8cf01e9d03a104bbd4dc9a00dcb6d25 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
\title{\Title}
\author{\textbf{Autor}: \Author \\
\textbf{Director}: \Director}
% \AddToShipoutPicture*{\BackgroundPic}
\newgeometry{inner=1cm,outer=1cm,top=0.5cm,bottom=1cm,left=1.5cm,right=1.5cm}
\begin{titlepage}
\begin{figure}
\begin{minipage}{.5\linewidth}
\begin{flushleft}
\includegraphics[scale=0.8]{front/upmc.png}
\end{flushleft}
\end{minipage}
\begin{minipage}{.49\linewidth}
\begin{flushright}
\includegraphics[scale=0.21]{front/fic.png}
\end{flushright}
\end{minipage}
\end{figure}
\begin{center}
% \color{PortadaBlue}
\large{\textbf{UNIVERSIDAD POLITÉCNICA DE MADRID}} \\[1.8cm]
\large{E.T.S.I. INFORMÁTICOS} \\[1.8cm]
\large{MASTER UNIVERSITARIO EN SOFTWARE Y SISTEMAS} \\[1.8cm]
\large{TRABAJO DE FIN DE MASTER} \\[3cm]
\begin{adjustwidth}{2cm}{1cm}
\begin{center}
\LARGE{\textbf{Implementing a term rewriting}} \\[0.4cm]
\LARGE{\textbf{engine for the EasyCrypt framework}} \\[3cm]
\end{center}
\end{adjustwidth}
\begin{adjustwidth}{5.5cm}{1cm}
\Large{\textbf{Autor:} \Author} \\[0.2cm]
\Large{\textbf{Director:} \Director} \\[0.2cm]
\Large{\textbf{Co-director:} \Codirector} \\[2.4cm]
\end{adjustwidth}
\end{center}
\begin{flushright}
% \color{PortadaBlue}
\large{MADRID, 28 de julio de 2015} \\
\end{flushright}
\end{titlepage}
% \ClearShipoutPicture
\restoregeometry
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "../tfm"
%%% End:
|
